Package: cbmc (5.95.1-6) [debports]

Links for cbmc

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.cprover.org]

Similar packages:

Afgrænset modelkontrollør for C- og C++-programmer

CBMC opretter registreringer, der viser, hvordan en påstand kan blive overtrådt, eller beviser, at påstanden ikke kan overtrædes indenfor et givet antal løkkeiterationer.

Other Packages Related to cbmc

depends

recommends

suggests

enhances

dep: gcc

GNU C-oversætter
dep: libc6 (>= 2.34)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.4)

GCC støttebibliotek
dep: libstdc++6 (>= 13.1)

GNU Standard C++ bibliotek v3
dep: minisat (>= 1:2.2.1)

Fast and lightweight SAT solver

sug: gdb

Fejlsøgningsprogrammet GNU Debugger
also a virtual package provided by gdb-minimal

Download cbmc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	13,632.0 kB	72,996.0 kB	[list of files]