Dafny is a verification-aware programming language that supports modern programming language features such as:
  • imperative methods
  • mathematical functions
  • integers, sets, and sequences
  • mutable classes and arrays, as well as traits
  • inductive and co-inductive datatypes
  • lemmas and proofs

Here are some ways to get started with Dafny:
Some Dafny programmers may be interested in Dafny's /optimize Feature.

Last edited Jun 16, 2015 at 10:25 PM by mirobert, version 10


No comments yet.