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.
