Structured Specifications for Better Verification of Heap-Manipulating Programs.

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Browse the full FM paper archive.