Active Bibliography

79 Full functional verification of linked data structures – Karen Zee, Viktor Kuncak, Martin C. Rinard - 2008
36 Modular Data Structure Verification – Martin C. Rinard - 2007
11 Verifying complex properties using symbolic shape analysis – Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin Rinard, Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin Rinard - 2007
Verifying Linked Data Structure Implementations – Karen Zee, Viktor Kuncak, Martin Rinard
8 An overview of the Jahob analysis system: Project goals and current status – Viktor Kuncak, Martin Rinard - 2006
10 On Combining Theories with Shared Set Operations – Thomas Wies, Ruzica Piskac, Viktor Kuncak
3 Integrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program Survival) – Martin Rinard
27 Modular Pluggable Analyses for Data Structure Consistency – Viktor Kuncak, Patrick Lam, Karen Zee, Martin Rinard - 2006
28 Automation for interactive proof: First prototype – Jia Meng, Claire Quigley, Lawrence C. Paulson
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS – Eric D. Larson - 2004
2 The User Interface of the KIV Verification System -- A System Description – Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel - 2005
1 Combining Advanced Formal Hardware Verification Techniques – Erik Henry Reeber, Warren A. Hunt, E. Allen Emerson, Stephen W. Keckler, J Strother Moore, Anna Slobodova, Erik Henry Reeber - 2007
A SYNTHESIS OF THE PROCEDURAL AND DECLARATIVE STYLES OF INTERACTIVE THEOREM PROVING – Freek Wiedijk
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
14 A Hoare Logic for Call-by-Value Functional Programs – Yann Régis-gianas, François Pottier
2 M.: Edit and verify – Radu Grigore - 2007
Combining Theorem Proving with Static Analysis for Data Structure Consistency – Viktor Kuncak, Patrick Lam, Karen Zee, Martin Rinard
22 Combining theorem proving with static analysis for data structure consistency – Karen Zee, Patrick Lam, Viktor Kuncak, Martin Rinard - 2004
VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants – Antonios Michael Stampoulis - 2013