Template-Based Verification of Heap-Manipulating Programs.

Viktor Malk, Martin Hruska, Peter Schrammel, Toms Vojnar

Browse the full FMCAD paper archive.