Predicate abstraction for software verification

Cormac Flanagan, Shaz Qadeer. Predicate abstraction for software verification. In POPL. pages 191-202, 2002. [doi]

Abstract

Abstract is missing.