Tarkennettu haku
bullseye  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: cbmc  ]

Paketti: cbmc (6.6.0-4)

Links for cbmc

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti cbmc:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Tagit: Role: Program

Muut pakettiin cbmc liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi cbmc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 21,839.1 kt87,166.0 kt [tiedostoluettelo]
arm64 18,044.7 kt77,802.0 kt [tiedostoluettelo]
armel 16,686.6 kt71,389.0 kt [tiedostoluettelo]
armhf 16,424.0 kt52,509.0 kt [tiedostoluettelo]
i386 22,881.0 kt87,015.0 kt [tiedostoluettelo]
ppc64el 19,752.6 kt89,642.0 kt [tiedostoluettelo]
riscv64 20,767.0 kt63,506.0 kt [tiedostoluettelo]
s390x 20,023.1 kt79,726.0 kt [tiedostoluettelo]