Dafny
Dafny is a verification-aware programming language.
The Dafny Program Verifier
- Rustan Leino
Seminar, Victoria University of Wellington, Wellington, New Zealand |
Published by Microsoft Research
- Tools and specifications are useful in software development
- Full functional-correctness verification is becoming more automatic
- To build a verifier, use an intermediate verification language