dafny
programming language with program correctness verifier
Install
- All systems
-
curl cmd.cat/dafny.sh
- 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.