Using predicate abstraction to reduce object-oriented programs for model checking

Willem Visser
Seungjoon Park
Proceedings of the ACM Workshop on Formal Methods in Software Practice (2000), pp. 3-182

Abstract