Predicate abstraction with minimum predicates (2003)

by Sagar Chaki, Edmund Clarke, Alex Groce, Ofer Strichman
Venue:In Proc. of Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME