Property-Directed Shape Analysis.

Shachar Itzhaky, Nikolaj S. Bjrner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur

Browse the full CAV paper archive.