Dafny

Dafny

• url: https://dafny.org/

.

Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research

• url: https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/?from=https://research.microsoft.com/en-us/projects/dafny/&type=exact

.

Dafny Resources for Users | Dafny Documentation

• url: https://dafny.org/latest/toc

.

Dafny Quick Reference

• url: https://dafny.org/dafny/QuickReference.html

.

Dafny Reference Manual - Dafny Documentation

• url: http://dafny.org/dafny/DafnyRef/DafnyRef

.

Modules Tutorial - Dafny Documentation

• url: https://dafny.org/latest/OnlineTutorial/Modules

.