musketeer
bounded model checker for C and C++ programs
RUN apt-get update && \
apt-get install -y cbmc
RUN apt-get update && \
apt-get install -y cbmc
RUN apt-get update && \
apt-get install -y cbmc
RUN dnf install -y cbmc
RUN apt-get update && \
apt-get install -y cbmc