Source Package: cbmc (4.1-1.2)
Links for cbmc
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- bounded model checker for C and C++ programs
Other Packages Related to cbmc
- helper programs for debian/rules
- Fast and lightweight SAT solver
- compression library - development
- A fast lexical analyzer generator.
- YACC-compatible parser generator