[ buster ] [ bullseye ] [ trixie ] [ sid ]

[ Source: ]

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:

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.

Other Packages Related to cbmc

depends

recommends

suggests

enhances

dep: gcc

GNU C compiler
dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: libgcc-s2 (>= 4.2.1)

GCC support library
dep: libstdc++6 (>= 13.1)

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

Fast and lightweight SAT solver

sug: gdb

GNU Debugger
also a virtual package provided by gdb-minimal

Download cbmc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
m68k (unofficial port)	18,083.9 kB	74,356.0 kB	[list of files]