boogie 2.4.1+dfsg-ok1 (amd64 binary) in openkylin yangtze
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.4.1+dfsg-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of boogie 2.4.1+dfsg-ok1 in openkylin yangtze PROPOSED produced
these files:
- boogie_2.4.1+dfsg-ok1_all.deb (13.9 KiB)
Package relationships
- Suggests:
