Using Unified Model Checking to Verify Heaps.

Xu Lu, Zhenhua Duan, Cong Tian

Browse the full COCOA paper archive.