Developing Verified Programs with Dafny
- Rustan Leino
HILT '12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology |
Published by ACM New York, NY, USA
Dafny is a programming language and program verifier. The language includes specification constructs and the verifier checks that the program lives up to its specifications. These tutorial notes give some Dafny programs used as examples in the tutorial.
Téléchargements de publications
Dafny
janvier 2, 2017
Dafny is a verification-aware programming language.