Predicate Abstraction with Minimum Predicates
October 2004 • White Paper
Sagar Chaki, Edmund Clarke
Predicate abstraction is a popular abstraction technique employed in formal software verification. Experiments show that predicate minimization can result in a significant reduction of both verification time and memory usage compared to earlier methods.
Publisher:
Software Engineering Institute
Abstract
Predicate abstraction is a popular abstraction technique employed in formal software verification. Our experiments show that predicate minimization can result in a significant reduction of both verification time and memory usage compared to earlier methods.