Install libboogie-cil by entering the following commands in the terminal:
sudo apt update sudo apt install libboogie-cil
Description:
verifiable programming language (library)
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 library.
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Section: universe/cli-mono