Binary: cbmc

Debian packages that has this binary:

Package: cbmc

/usr/bin/cbmc

Random binary cloud:

avr-readelf fvlistfwcams figlet gsislogin klist systemsettings lcdtest pure-statsdecode register-python-argcomplete lconvert qxkb wmaker.inst acpitail amsynth epic5 gcin2tab git-debimport lxc-test-saveconfig marionnet-daemon matho-pascal lksh next pcl_convolve python2-dbg inflate_denoiser_output.py make_prefs_file.py lrelease sdranlib unigencircles MKVSYD