Full functional verification of linked data structures.

Karen Zee, Viktor Kuncak, Martin C. Rinard

Browse the full PLDI paper archive.