Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Dafny

Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs

Details

TypeCodePlex project
Version1.8.0
Date Published15 January 2014