synthetic_aprioriM to Formal Methods · edit-21 year agoThe Dafny Programming and Verification Languagedafny.orgexternal-linkmessage-square1fedilinkarrow-up110arrow-down10file-text
arrow-up110arrow-down1external-linkThe Dafny Programming and Verification Languagedafny.orgsynthetic_aprioriM to Formal Methods · edit-21 year agomessage-square1fedilinkfile-text
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
minus-square17451k@lemmy.worldlinkfedilinkarrow-up2·1 year agoThere is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/