Assume-Guarantee Verification for Interface Automata.

Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu

Browse the full FM paper archive.