všetky možnosti
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]
[ Zdroj: cbmc  ]

Balík: cbmc (5.10-5)

Odkazy pre cbmc

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík cbmc:

Správca:

Externé zdroje:

Podobné balíky:

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.

Značky: Role: Program

Ostatné balíky súvisiace s balíkom cbmc

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť cbmc

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
i386 10,581.3 kB47,918.0 kB [zoznam súborov]