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

[ Källkod: cbmc ]

Paket: cbmc (5.10-5)

Länkar för cbmc

Debianresurser:

Hämta källkodspaketet cbmc:

Ansvarig:

Michael Tautschnig (QA-sida)

Externa resurser:

Hemsida [www.cprover.org]

Liknande paket:

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.

Märken: Role: Program

Andra paket besläktade med cbmc

beror

rekommenderar

föreslår

enhances

dep: gcc

GNU C compiler
dep: libc6 (>= 2.11)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc1 (>= 1:3.5)

GCC stödbibliotek
dep: libstdc++6 (>= 5.2)

GNU standardbibliotek v3 för C++
dep: minisat

Fast and lightweight SAT solver

Hämta cbmc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
armhf	7.369,2 kbyte	27.183,0 kbyte	[filförteckning]