dafny

programming language with program correctness verifier

Install

All systems
curl cmd.cat/dafny.sh
Debian Debian
apt-get install dafny
Ubuntu
apt-get install dafny
Windows (WSL2)
sudo apt-get update sudo apt-get install dafny
Raspbian
apt-get install dafny
Dockerfile
dockerfile.run/dafny

dafny

programming language with program correctness verifier

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.