Symbolic compositional verification by learning assumptions. (2005)

by R Alur, P Madhusudan, W Nam
Venue:CAV 2005. LNCS,