An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.

Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu

Browse the full VMCAI paper archive.