Counter-Example Based Predicate Discovery in Predicate Abstraction.

Satyaki Das, David L. Dill

Browse the full FMCAD paper archive.