Binary package “libboogie-cil” in ubuntu bionic
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.
Published versions
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in amd64 (Release)
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in arm64 (Release)
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in armhf (Release)
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in i386 (Release)
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ppc64el (Release)
- libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in s390x (Release)