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

Paket: cbmc (5.10-5 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.10-5 9.845,4 kbyte43.321,0 kbyte [filförteckning]
arm64 5.10-5 8.422,9 kbyte40.344,0 kbyte [filförteckning]
armel 5.10-5 7.295,4 kbyte37.075,0 kbyte [filförteckning]
armhf 5.10-5 7.369,2 kbyte27.183,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.10-5 10.581,3 kbyte47.918,0 kbyte [filförteckning]
kfreebsd-amd64 5.10-5 9.779,4 kbyte43.565,0 kbyte [filförteckning]
kfreebsd-i386 5.10-5 10.580,3 kbyte47.878,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 5.10-5 9.091,3 kbyte44.335,0 kbyte [filförteckning]
mips 5.10-5 8.455,7 kbyte53.048,0 kbyte [filförteckning]
mips64el 5.10-5 8.446,1 kbyte53.163,0 kbyte [filförteckning]
mipsel 5.10-5 8.627,9 kbyte52.992,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 5.10-5 7.560,3 kbyte43.956,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 5.10-5 9.673,8 kbyte52.010,0 kbyte [filförteckning]
ppc64el 5.10-5 9.053,9 kbyte49.296,0 kbyte [filförteckning]
s390x 5.10-5 8.197,2 kbyte43.548,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 5.10-5 10.468,7 kbyte41.914,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 5.10-5 7.151,5 kbyte40.861,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 5.10-5 9.829,3 kbyte40.960,0 kbyte [filförteckning]