this post was submitted on 19 Jul 2023
10 points (100.0% liked)

Formal Methods

162 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon
synthetic_apriori
10
The Dafny Programming and Verification Language (dafny.org)
submitted 1 year ago* (last edited 1 year ago) by synthetic_apriori to c/formal_methods
1 comments fedilink hide all child comments
 

I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.

https://en.wikipedia.org/wiki/Dafny

top 1 comments
sorted by: hot top controversial new old
[–] [email protected] 2 points 1 year ago

There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/