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