Dafny A fairly new programming code language for those developers always on the lookout for something new whe...
Download

Dafny Ranking & Summary

Dafny Tags

programming language code language Verifier code language program verifier

Dafny Description

Dafny will provide developers with a programming language alongside a program verifier. With Dafny, as you type in your program, the verifier makes sure that your code is error-free. Dafny itself draws multiple pieces of influence from: · Euclid (from the mindset of a designing a language whose programs are to be verified) · Eiffel (like the built-in contract features) · CLU (like its iterators, and inpiration for the out-parameter syntax) · Java and C# (like the classes, although Dafny does not support subclassing) · ML (like the module system, and its functions and inductive datatypes, but Dafny does not support higher-order features) · Coq (like the ability to include co-inductive datatypes and being able to write inductive and co-inductive proofs)

Dafny Related Software