Read news on Dafny with our app.
Read more in the app
Dafny: Verification-Aware Programming Language
Teaching Program Verification in Dafny at Amazon (2023)
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]
Streams, Calculational Proofs and Dafny
Dafny is a verification-aware programming language
