Automated Circular Assume-Guarantee Reasoning.

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham

Browse the full FM paper archive.