Package - jbmc

Package:  jbmc
apt-get install jbmc
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/cbmc/jbmc_6.6.0-4_amd64.deb (Size: 8.3MiB)

PropertyValue
Packagejbmc
Sourcecbmc
Version6.6.0-4
Installed-Size29621
MaintainerMichael Tautschnig
Architectureamd64
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Suggestsjava-compiler
Descriptionbounded model checker for Java programs
Description-md570bc56bc794696ba3c239e8afdf2b1ac
Homepagehttp://www.cprover.org/cbmc/
Sectionscience
Priorityoptional
Filenamepool/main/c/cbmc/jbmc_6.6.0-4_amd64.deb
Size8701348
MD5sum736d4cccc98449398f7e86072f503810
SHA25620e0dcba562210a6c30e0d2f34f7c51067e2e527d1e91665ecd52d1da1bdf7d3

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