Installlion's Logo

Installlion.com

How To Install cbmc On Debian 7

To install cbmc just follow these instructions.

Install cbmc

bounded model checker for C and C++ programsDebian 7.0science4.1-1.2
sudo apt-get install cbmc

Which will install cbmc and any other packages on which it depends.

Package Data

Packagecbmc
Version4.1-1.2
MaintainerMichael Tautschnig <[email protected]>
Home pagehttp://www.cprover.org/cbmc/
Descriptionbounded model checker for C and C++ programs
Distrodebian
Releasewheezy
Repomain
Sectionscience

Dependencies