A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.

Jesse D. Bingham, Zvonimir Rakamaric

Browse the full VMCAI paper archive.