2 ms·
An introductory course to the use of Dafny for writing programs with fully verified specifications may be found at [1]. [1] https://www.doc.ic.ac.uk/~scd/Dafny
by tromp 3y ago
An introductory course to the use of Dafny for writing programs with fully verified specifications may be found at [1].
[1] https://www.doc.ic.ac.uk/~scd/Dafny_Material/Lectures.pdf https://www.doc.ic.ac.uk/~scd/Dafny_Material/Lectures.pdf
- sn9 3y agoAnd a whole textbook was recently published as well: https://mitpress.mit.edu/9780262546232/program-proofs/ https://mitpress.mit.edu/9780262546232/program-proofs/