Debian logoDebian Screenshots >

dafny

programming language with program correctness verifier

Description

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://research.microsoft.com/en-us/projects/dafny/


Statistics

212 other people were interested in this package here. The newest known version of this software is 1.9.7-1 (Information last updated about 7 hours ago.)