pkgs.loginroot.com
Home
Packages
Binaries
Package: cbmc
"
cbmc
" package binaries on
Debian
:
/usr/bin/cbmc
/usr/bin/goto-cc
/usr/bin/goto-instrument
You may install this package on Debian with
apt-get install cbmc