all options
wheezy  ] [  jessie  ] [  jessie-backports  ] [  stretch  ] [  sid  ]
[ Source: cbmc  ]

Package: cbmc (4.1-1.2)

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 Package Size Installed Size Files
amd64 4,452.7 kB10,649.0 kB [list of files]
armel 4,196.5 kB9,255.0 kB [list of files]
armhf 3,921.3 kB6,830.0 kB [list of files]
i386 4,517.5 kB10,836.0 kB [list of files]
ia64 6,784.1 kB22,512.0 kB [list of files]
kfreebsd-amd64 4,451.4 kB10,625.0 kB [list of files]
kfreebsd-i386 4,517.3 kB10,811.0 kB [list of files]
mips 4,096.8 kB11,360.0 kB [list of files]
mipsel 4,096.1 kB11,360.0 kB [list of files]
powerpc 4,768.3 kB11,111.0 kB [list of files]
s390 4,494.1 kB10,804.0 kB [list of files]
s390x 4,870.1 kB12,047.0 kB [list of files]
sparc 4,387.3 kB10,510.0 kB [list of files]