Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv

Browse the full VMCAI paper archive.