Assume-Guarantee Verification of Source Code with Design-Level Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh

Browse the full ICSE paper archive.