Symbolic compositional verification by learning assumptions (2005)

by Rajeev Alur , P. Madhusudan , Wonhong Nam
Venue:In CAV
Citations:69 - 8 self