To install dafny just follow these instructions.
sudo apt-get install dafny
Which will install dafny and any other packages on which it depends.
|Maintainer||Benjamin Barenblat <[email protected]>|
|Description||programming language with program correctness 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.|