dafny

Automated program verifier for writing provably correct code.

brewmacoslinux

Try with needOr install directly

About

Verification-aware programming language

dafny

check if my program has bugs before running it$ dafny verify program.dfy

compile dafny code to executable$ dafny build program.dfy

check syntax and verify a single dafny file$ dafny check myfile.dfy

translate dafny program to another language like C#$ dafny translate cs program.dfy

run dafny program directly without compilation$ dafny run program.dfy