- Name: cbmc
- Version: 4.3
- Release: 7.20130515svn.fc18
- Epoch:
- Group: Unspecified
- License: BSD with advertising
- Url: http://www.cprover.org/cbmc/
- Summary: Bounded Model Checker for ANSI-C and C++ programs
- Architecture: x86_64
- Size: 3617857
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: buildvm-04.phx2.fedoraproject.org 1378809275
- Buildhost: buildvm-04.phx2.fedoraproject.org
Generated packages:
Other version of this rpm:
