How to Install dafny in Ubuntu 18.04

Install dafny by entering the following commands in the terminal:

sudo apt update
sudo apt install dafny


programming language with program correctness verifier

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.


Version: 1.9.7-1

Section: universe/devel