Package - cbmc

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

Primary informations

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

PropertyValue
Packagecbmc
Version6.6.0-4
Installed-Size87166
MaintainerMichael Tautschnig
Architectureamd64
Dependsgcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Suggestsgdb
Descriptionbounded model checker for C and C++ programs
Description-md52c892fdd5142036595dc17775271afad
Homepagehttp://www.cprover.org/cbmc/
Tagrole::program
Sectionscience
Priorityoptional
Filenamepool/main/c/cbmc/cbmc_6.6.0-4_amd64.deb
Size22363208
MD5sum714be03d207594d1d44d9bd220b6b70e
SHA25602560859a17049c976961c232c4fc58f0747b57f9b751a466b1f368a438b0e41

Files in package

  • /usr/bin/cbmc
  • /usr/bin/crangler
  • /usr/bin/goto-analyzer
  • /usr/bin/goto-cc
  • /usr/bin/goto-diff
  • /usr/bin/goto-gcc
  • /usr/bin/goto-harness
  • /usr/bin/goto-inspect
  • /usr/bin/goto-instrument
  • /usr/bin/goto-ld
  • /usr/bin/goto-synthesizer
  • /usr/bin/memory-analyzer
  • /usr/bin/symtab2gb
  • /usr/share/doc/cbmc/changelog.Debian.gz
  • /usr/share/doc/cbmc/changelog.gz
  • /usr/share/doc/cbmc/copyright
  • /usr/share/man/man1/cbmc.1.gz
  • /usr/share/man/man1/crangler.1.gz
  • /usr/share/man/man1/goto-analyzer.1.gz
  • /usr/share/man/man1/goto-cc.1.gz
  • /usr/share/man/man1/goto-diff.1.gz
  • /usr/share/man/man1/goto-gcc.1.gz
  • /usr/share/man/man1/goto-harness.1.gz
  • /usr/share/man/man1/goto-instrument.1.gz
  • /usr/share/man/man1/goto-ld.1.gz
  • /usr/share/man/man1/goto-synthesizer.1.gz
  • /usr/share/man/man1/memory-analyzer.1.gz
  • /usr/share/man/man1/symtab2gb.1.gz
  • /usr/share/man/man2/goto-inspect.2.gz