Learning assumptions for compositional verification (2003)

by Jamieson M Cobleigh, Dimitra Giannakopoulou, Corina S Păsăreanu
Venue:Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2619 of Lecture Notes in Computer Science