Binary: cbmc

Debian packages that has this binary:

Package: cbmc

/usr/bin/cbmc

Random binary cloud:

isc-config.sh objcopy console-kit-daemon stored dracut euare-usergetpolicy gneqn pbmtoibm23xx pnmtorast pinentry-qt4 specrb blockdev mips64el-linux-gnuabi64-gprof colortest-16 cpufreqd-get debbugs-dbhash debdry drbl-bug-report listbasic gbp-pull gnome-documents grig jablicator jetring-checksum cufilter osgconv stg-dispatch tar-restore listings-ext xymond_sample