How to Install boogie in Ubuntu 18.04

Install boogie by entering the following commands in the terminal:

sudo apt update
sudo apt install boogie


verifiable programming language (compiler)

Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice. . This package contains the Boogie compiler, as well as bvd, the Boogie Verification Debugger.



Section: universe/cli-mono