Automated Assume-Guarantee Reasoning by Abstraction Refinement.

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou

Browse the full CAV paper archive.