Install cbmc by entering the following commands in the terminal:
sudo apt update sudo apt install cbmc
Description:
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.
Homepage: http://www.cprover.org/cbmc/
Version: 5.6-1
Section: universe/science