Active Bibliography

82 Full functional verification of linked data structures – Karen Zee, Viktor Kuncak, Martin C. Rinard - 2008
36 Modular Data Structure Verification – Martin C. Rinard - 2007
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
Verifying Linked Data Structure Implementations – Karen Zee, Viktor Kuncak, Martin Rinard
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
578 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004