Automated Verification of Shape and Size Properties Via Separation Logic.

Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin

Browse the full VMCAI paper archive.