Formal Methods

166 readers

3 users here now

founded 1 year ago

MODERATORS

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.

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

[–] [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/