Symbolic compositional verification by learning assumptions (2005)

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