| |||
| |||
| |||
NEW: Version 3.0 released. NEW: We are hiring PhD students and Postdocs at Oxford University.
| |||
| |||
| |||
| |||
The following papers describe interesting applications of CBMC:
| |||
| |||
We are currently preparing a release with support for SpecC and SystemC.
If you need a Model Checker for Verilog or SMV files, consider EBMC. | |||
|
This research was sponsored by the Semiconductor Research Corporation (SRC) under contract no. 99-TJ-684, the National Science Foundation (NSF) under grant no. CCR-9803774, the Office of Naval Research (ONR), the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, and by the Defense Advanced Research Projects Agency, and the Army Research Office (ARO) under contract no. DAAD19-01-1-0485, and the General Motors Collaborative Research Lab at CMU. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of SRC, NSF, ONR, NRL, DOD, ARO, or the U.S. government. |