Predicate Abstraction with Minimum Predicates (2003)

by Sagar Chaki , Edmund Clarke , Alex Groce , Ofer Strichman
Venue:In Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME
Citations:30 - 8 self