Predicate Abstraction with Minimum Predicates

October 1, 2004 • White Paper

By

Sagar Chaki and 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.

Software Engineering Institute