Formal Methods

169 readers

1 users here now

founded 2 years ago

MODERATORS

submitted 2 years ago* (last edited 2 years 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.

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 2 points 2 years ago

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