alla flaggor
wheezy  ] [  jessie  ] [  jessie-backports  ] [  stretch  ] [  buster  ] [  sid  ]
[ Källkod: cbmc  ]

Paket: cbmc (5.9-6 och andra)

Länkar för cbmc

Screenshot

Debianresurser:

Hämta källkodspaketet cbmc:

Ansvarig:

Externa resurser:

Liknande paket:

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.

Märken: Role: Program

Andra paket besläktade med cbmc

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta cbmc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 5.6-1 3.844,4 kbyte23.351,0 kbyte [filförteckning]
amd64 5.9-6 9.404,3 kbyte42.105,0 kbyte [filförteckning]
arm64 5.9-6 8.657,0 kbyte41.077,0 kbyte [filförteckning]
armel 5.9-6 7.318,4 kbyte37.193,0 kbyte [filförteckning]
armhf 5.9-6 7.332,9 kbyte27.097,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 5.6-1 3.445,5 kbyte18.502,0 kbyte [filförteckning]
hurd-i386 5.6-1 4.313,8 kbyte20.351,0 kbyte [filförteckning]
i386 5.9-6 9.770,2 kbyte45.703,0 kbyte [filförteckning]
kfreebsd-amd64 5.9-6 9.321,2 kbyte42.377,0 kbyte [filförteckning]
kfreebsd-i386 5.6-1 4.274,2 kbyte20.294,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 5.9-6 8.293,9 kbyte39.863,0 kbyte [filförteckning]
mips 5.9-6 8.355,2 kbyte52.683,0 kbyte [filförteckning]
mips64el 5.9-6 8.434,1 kbyte53.137,0 kbyte [filförteckning]
mipsel 5.9-6 8.542,8 kbyte52.683,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 5.9-6 7.699,1 kbyte44.407,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 5.9-6 9.661,5 kbyte52.071,0 kbyte [filförteckning]
ppc64el 5.9-6 9.102,3 kbyte49.421,0 kbyte [filförteckning]
s390x 5.9-6 8.299,9 kbyte44.565,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 5.9-6 10.470,5 kbyte41.671,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 5.9-6 7.146,7 kbyte40.698,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 5.9-6 9.370,9 kbyte40.479,0 kbyte [filförteckning]