Dafny: An Automatic Program Verifier for Functional Correctness
Author:
Top Cited Papers
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 348-370
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Regional Logic for Local Reasoning about Global Invariants2008
- CVC32007
- The Schorr-Waite-Algorithm2007
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs2006
- The Spec# Programming System: An Overview2005
- Verification of Object-Oriented Programs with Invariants.The Journal of Object Technology, 2004
- Event Based Sequential Program Development: Application to Constructing a Pointer Program2003
- Checking Interference with Fractional Permissions2003
- An approach to systems verificationJournal of Automated Reasoning, 1989
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite AlgorithmACM Transactions on Programming Languages and Systems, 1982