goto-instrument
bounded model checker for C and C++ programs
Install
- All systems
-
curl cmd.cat/goto-instrument.sh
- Debian
-
apt-get install cbmc - Ubuntu
-
apt-get install cbmc - Kali Linux
-
apt-get install cbmc - Fedora
-
dnf install cbmc - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install cbmc - Raspbian
-
apt-get install cbmc - Dockerfile
- dockerfile.run/goto-instrument
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.