goto-diff

bounded model checker for C and C++ programs

Debian Debian
RUN apt-get update && \ apt-get install -y cbmc
Ubuntu
RUN apt-get update && \ apt-get install -y cbmc
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y cbmc
Fedora
RUN dnf install -y cbmc
Raspbian
RUN apt-get update && \ apt-get install -y cbmc
click the source code to copy install goto-diff on any operating system with command-not-found.com