Predicate abstraction for software verification.

Cormac Flanagan, Shaz Qadeer

Browse the full POPL paper archive.