Package - cbmc
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cbmc/cbmc_6.6.0-4_amd64.deb (Size: 21.3MiB)| Property | Value |
|---|---|
| Package | cbmc |
| Version | 6.6.0-4 |
| Installed-Size | 87166 |
| Maintainer | Michael Tautschnig |
| Architecture | amd64 |
| Depends | gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1) |
| Suggests | gdb |
| Description | bounded model checker for C and C++ programs |
| Description-md5 | 2c892fdd5142036595dc17775271afad |
| Homepage | http://www.cprover.org/cbmc/ |
| Tag | role::program |
| Section | science |
| Priority | optional |
| Filename | pool/main/c/cbmc/cbmc_6.6.0-4_amd64.deb |
| Size | 22363208 |
| MD5sum | 714be03d207594d1d44d9bd220b6b70e |
| SHA256 | 02560859a17049c976961c232c4fc58f0747b57f9b751a466b1f368a438b0e41 |
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