Formal Methods

163 readers

1 users here now

founded 1 year ago

MODERATORS

submitted 1 year ago* (last edited 1 year ago) by [email protected] to c/[email protected]

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

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