all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: cbmc  ]

Package: cbmc (5.12-5 and others)

Links for cbmc


Debian Resources:

Download Source Package cbmc:


External Resources:

Similar packages:

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

Tags: Role: Program

Other Packages Related to cbmc

  • depends
  • recommends
  • suggests
  • enhances

Download cbmc

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.6-1 3,844.4 kB23,351.0 kB [list of files]
amd64 5.12-5 17,316.1 kB65,585.0 kB [list of files]
arm64 5.12-5 13,137.5 kB58,325.0 kB [list of files]
armel 5.12-5 11,707.4 kB54,321.0 kB [list of files]
armhf 5.12-5 10,927.9 kB39,741.0 kB [list of files]
hppa (unofficial port) 5.6-1 3,445.5 kB18,502.0 kB [list of files]
i386 5.12-5 18,355.8 kB70,193.0 kB [list of files]
m68k (unofficial port) 5.12-5 15,924.1 kB65,189.0 kB [list of files]
mips64el 5.12-5 14,072.4 kB79,905.0 kB [list of files]
mipsel 5.12-5 14,211.2 kB77,832.0 kB [list of files]
powerpcspe (unofficial port) 5.10-5 7,560.3 kB43,956.0 kB [list of files]
ppc64 (unofficial port) 5.12-5 15,948.7 kB75,230.0 kB [list of files]
ppc64el 5.12-5 16,053.0 kB72,026.0 kB [list of files]
riscv64 (unofficial port) 5.12-5 15,350.0 kB54,333.0 kB [list of files]
s390x 5.12-5 14,665.3 kB64,997.0 kB [list of files]
sh4 (unofficial port) 5.12-5 19,858.4 kB62,911.0 kB [list of files]
sparc64 (unofficial port) 5.12-5 11,675.3 kB61,088.0 kB [list of files]
x32 (unofficial port) 5.12-5 16,061.0 kB60,897.0 kB [list of files]