Search
Now showing items 1-1 of 1
Property-Directed Shape Analysis
(2014-05-22)
This paper addresses the problem of automatically generating quantified invariants for programs that manipulate singly and doubly linked-list data structures. Our algorithm is property-directed -- i.e., its choices are ...