Symbolic compositional verification by learning assumptions (2005)

by R Alur, P Madhusudan, W Nam
Venue:In Proceedings of the 17th International Conference of Computer Aided Verification