Model and Proof Generation for Heap-Manipulating Programs.

Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel

Browse the full ESOP paper archive.