boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (ppc64el binary) in ubuntu bionic
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.
Details
- Package version:
- 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ubuntu zesty PROPOSED produced
these files:
Package relationships
- Suggests: