npm

dafny

Verification-aware programming language with automated proof checking

brewmacoslinux
Try with needOr install directly
Source

About

Verification-aware programming language

Commands

dafny

Examples

Verify a Dafny program file$ dafny verify program.dfy
Compile Dafny code to C#$ dafny build program.dfy
Check syntax and verify with verbose output$ dafny verify --verbose program.dfy