Model Checking Recursive Programs with Exact Predicate Abstraction.

Arie Gurfinkel, Ou Wei, Marsha Chechik

Browse the full ATVA paper archive.