Dafny is a language and verifier aimed at sequential programs that deal with dynamic data structures. Dafny includes some specification features that make it appropriate for some kinds of full functional-correctness verification.

More documentation to be placed here...

Last edited Jul 8, 2010 at 10:36 PM by rustanleino, version 1

Comments

No comments yet.