[ Källkod: cbmc ]
Paket: cbmc (6.1.1-2)
Länkar för cbmc
Debianresurser:
Hämta källkodspaketet cbmc:
- [cbmc_6.1.1-2.dsc]
- [cbmc_6.1.1.orig-java-cprover-api.tar.gz]
- [cbmc_6.1.1.orig-java-models-library.tar.gz]
- [cbmc_6.1.1.orig.tar.gz]
- [cbmc_6.1.1-2.debian.tar.xz]
Ansvarig:
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.
Andra paket besläktade med cbmc
|
|
|
|
-
- dep: gcc
- GNU C compiler
-
- dep: libc6 (>= 2.38)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libgcc-s1 (>= 3.4)
- GCC stödbibliotek
-
- dep: libstdc++6 (>= 14)
- GNU standardbibliotek v3 för C++
-
- dep: minisat (>= 1:2.2.1)
- Fast and lightweight SAT solver
-
- sug: gdb
- GNU Debugger
också ett virtuellt paket som tillhandahålls av gdb-minimal
Hämta cbmc
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| riscv64 | 20.476,0 kbyte | 62.789,0 kbyte | [filförteckning] |