Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Dafny

A Tutorial on Using Dafny to Construct Verified Software

• rating: 1

.

Dafny

• rating: 1

.

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

• rating: 1

.

Dafny Resources for Users | Dafny Documentation

• rating: 1

.

Dafny Quick Reference

• rating: 1

.

Dafny Reference Manual - Dafny Documentation

• rating: 1

.

Modules Tutorial - Dafny Documentation

• rating: 1

.