The Dafny Programming and Verification Language
The Dafny Programming and Verification Language
I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.
You're viewing a single thread.
1 comments
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/