Versions
- 5.11.r1339.gabbb38942
- 5.25.0
- 5.24.0
- 5.17.0
- 5.12 (2)
- 5.11 (2)
- 5.10 (2)
- 5.8
- 5.7
- 5.6
- 5.5
- 5.3
- 4.9
- 4.5
- 4.0
Package names
- cbmc (4)
- cbmc-bin
- cbmc-git
- devel/cbmc
Categories
- Unspecified
- devel
- misc
- science
- universe/science
Licenses
- BSD with advertising
- custom
Summaries
- Bounded Model Checker for ANSI-C and C++ programs
- Bounded Model Checker for C and C++ programs
- Bounded Model Checking for ANSI-C
- C Bounded Model Checker