Predicate Abstraction with Minimum Predicates
• White Paper
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