Learning Assumptions for Compositional Verification.

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

Browse the full TACAS paper archive.