Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita

Browse the full ATVA paper archive.