Counter-Example Based Predicate Discovery in Predicate Abstraction (2002)

Cached

Download Links

by Satyaki Das , David L. Dill
Venue:In Formal Methods in Computer-Aided Design
Citations:49 - 2 self