Pakiet: cbmc (6.6.0-4)

Odnośniki dla cbmc

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cbmc:

Opiekun:

Michael Tautschnig (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.cprover.org]

Podobne pakiety:

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.

Znaczniki: Rola: Program

Inne pakiety związane z cbmc

wymaga

poleca

sugeruje

enhances

dep: gcc

Kompilator GNU C
dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [amd64, riscv64]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 14)

Standardowa biblioteka GNU C++, wersja 3
dep: minisat (>= 1:2.2.1)

Fast and lightweight SAT solver

sug: gdb

GNU Debugger

Pobieranie cbmc

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	21 839,1 KiB	87 166,0 KiB	[lista plików]
arm64	18 044,7 KiB	77 802,0 KiB	[lista plików]
armel	16 686,6 KiB	71 389,0 KiB	[lista plików]
armhf	16 424,0 KiB	52 509,0 KiB	[lista plików]
i386	22 881,0 KiB	87 015,0 KiB	[lista plików]
ppc64el	19 752,6 KiB	89 642,0 KiB	[lista plików]
riscv64	20 767,0 KiB	63 506,0 KiB	[lista plików]
s390x	20 023,1 KiB	79 726,0 KiB	[lista plików]