How to Install cbmc in Ubuntu 18.04

Install cbmc by entering the following commands in the terminal:

sudo apt update
sudo apt install cbmc


bounded model checker for C and C++ programs

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.


Version: 5.6-1

Section: universe/science