Dafny
-----

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Programming Languages](../Programming%20Languages/README.md#programming-languages)_

- - - -


### Web resources

[Dafny](https://dafny.org/) ★

[Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research](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](https://dafny.org/latest/toc) ★

[Dafny Quick Reference](https://dafny.org/dafny/QuickReference.html) ★

[Dafny Reference Manual - Dafny Documentation](http://dafny.org/dafny/DafnyRef/DafnyRef) ★

[Modules Tutorial - Dafny Documentation](https://dafny.org/latest/OnlineTutorial/Modules) ★


### Papers

[A Tutorial on Using Dafny to Construct Verified Software](https://arxiv.org/abs/1701.04481) ★