Is this program correct?
'►' shortcut: Alt+B
about Dafny - A language and program verifier for functional correctness
Dafny is a programming language with imperative and functional features, as well as specification constructs for describing intended behavior. The Dafny verifier checks that programs live up to their specifications.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft