Package - jbmc
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cbmc/jbmc_6.6.0-4_amd64.deb (Size: 8.3MiB)| Property | Value |
|---|---|
| Package | jbmc |
| Source | cbmc |
| Version | 6.6.0-4 |
| Installed-Size | 29621 |
| Maintainer | Michael Tautschnig |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1) |
| Suggests | java-compiler |
| Description | bounded model checker for Java programs |
| Description-md5 | 70bc56bc794696ba3c239e8afdf2b1ac |
| Homepage | http://www.cprover.org/cbmc/ |
| Section | science |
| Priority | optional |
| Filename | pool/main/c/cbmc/jbmc_6.6.0-4_amd64.deb |
| Size | 8701348 |
| MD5sum | 736d4cccc98449398f7e86072f503810 |
| SHA256 | 20e0dcba562210a6c30e0d2f34f7c51067e2e527d1e91665ecd52d1da1bdf7d3 |
Files in package
- /usr/bin/janalyzer
- /usr/bin/jbmc
- /usr/bin/jdiff
- /usr/share/doc/jbmc/changelog.Debian.gz
- /usr/share/doc/jbmc/changelog.gz
- /usr/share/doc/jbmc/copyright
- /usr/share/man/man1/janalyzer.1.gz
- /usr/share/man/man1/jbmc.1.gz
- /usr/share/man/man1/jdiff.1.gz