Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.

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

Browse the full CAV paper archive.