Dafny

Dafny is a programming language with a program verifier. As you type in your program, the verifier constantly looks over your shoulders and flags any errors.

Dafny has moved to GitHub.

Last edited Jun 18 at 8:30 PM by cpitcla, version 11