cbmc
bounded model checker for C and C++ programs
Binary packages in unstable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 6.6.0-4 | science | 87,166 kB |
| arm64 | 6.6.0-4+b1 | science | 76,651 kB |
| armhf | 6.6.0-4 | science | 52,509 kB |
| i386 | 6.6.0-4 | science | 87,015 kB |
| loong64 | 6.6.0-4 | science | 76,261 kB |
| ppc64el | 6.6.0-4 | science | 89,642 kB |
| riscv64 | 6.6.0-4 | science | 63,506 kB |
| s390x | 6.6.0-4 | science | 79,726 kB |
Description
bounded model checker for C and C++ programs
Dependencies amd64
- Depends
- gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
- Suggests
- gdb
Source package
- Name
- cbmc
- Version
- 6.6.0-4
- Maintainer
- Michael Tautschnig
- Homepage
- http://www.cprover.org/cbmc/
Bugs (1 open)
Each bug opens in the Debian bug tracking system, which holds its message log and current state.