Installion's Lion Logo

Installion.co.uk

How To Install cbmc On Debian 8

To install cbmc just follow these instructions.

Install cbmc

bounded model checker for C and C++ programsDebian 8.0science4.9-4
sudo apt-get install cbmc

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

Package Data

Packagecbmc
Version4.9-4
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttp://www.cprover.org/cbmc/
Descriptionbounded model checker for C and C++ programs
Distrodebian
Releasejessie
Repomain
Sectionscience

Dependencies