Dafny

programming-languages

Definition

Dafny

Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier. ¹

Footnotes

1. Dafny ↩