Counter-example based predicate discovery in predicate abstraction (0)

by Satyaki Das, David L Dill
Venue:In Proc. FMCAD ’02, 4 � Int. Conf. on Formal Methods in Computer-Aided Design