- libboogie-cil (= 2.4.1+dfsg-0.1)
- mono-mcs
- z3
- mono-runtime (>= 3.0~)
- libmono-corlib4.5-cil (>= 5.18.0.240)
- libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
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.
Installed Size: 42.0 kB
Architectures: all