Presentation Only: Efficient Predicate Abstraction of Program Summaries

Arie Gurfinkel, Sagar Chaki, Samir Sapra, 9th International Workshop on Satisfiability Modulo Theories (SMT), July 14-15, 2011.

Abstract: This is a presentation only version of our NFM'11 paper.