Symbolic compositional verification by learning assumptions (0)

by Rajeev Alur, P Madhusudan, Wonhong Nam
Venue:In Etessami and Rajamani [45