Using First-Order Theorem Provers in the Jahob Data Structure Verification System.

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard

Browse the full VMCAI paper archive.