dafny
Is this program correct?
loading...
'►' shortcut: Alt+B
about Dafny - A language and program verifier for functional correctness
Dafny is a programming language with classes and datatypes, and specification constructs for describing intended behavior. The Dafny verifier checks that programs live up to their specifications.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct