Full functional verification of linked data structures (2008)

by Karen Zee , Viktor Kuncak , Martin C. Rinard
Venue:In ACM Conf. Programming Language Design and Implementation (PLDI
Citations:79 - 17 self

Documents Related by Co-Citation

711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
448 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
520 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
419 Z3: An Efficient SMT Solver – Leonardo De Moura, Nikolaj Bjørner - 2008
31 Deciding Boolean Algebra with Presburger Arithmetic – Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
28 Towards efficient satisfiability checking for boolean algebra with presburger arithmetic – Viktor Kuncak - 2007
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
196 Mathematical theory of computation – Z Manna - 1974
186 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004
418 Proof of correctness of data representations – C A R Hoare - 1972
88 VCC: A practical system for verifying concurrent C – Ernie Cohen, Markus Dahlweid, Mark Hillebrand, Dirk Leinenbach, Michał Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
48 de Moura and Nikolaj Bjørner. Z3: An efficient SMT solver – dMB08 Leonardo - 2008
163 Raymie Stata. Extended static checking for Java – Cormac Flanagan, K Rustan M Leino, Mark Lillibridge, Greg Nelson, James B Saxe - 2002
84 The Why/Krakatoa/Caduceus platform for deductive program verification – Jean-christophe Filliâtre, Claude Marché - 2007
87 jStar: Towards Practical Verification for Java – D Distefano, M Parkinson
213 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
32 Liquid types – Patrick M. Rondon, Ming W. Kawaguchi, Ranjit Jhala - 2008
396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979