源码包: cbmc (5.6-1)
本源码包构建了以下这些二进制包:
- cbmc
- bounded model checker for C and C++ programs
其他与 cbmc 有关的软件包
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: minisat (>= 1:2.2.1-2)
- Fast and lightweight SAT solver
-
- adep: zlib1g-dev
- compression library - development
-
- adep: flex
- fast lexical analyzer generator
-
- adep: bison
- YACC-compatible parser generator
-
- adep: libzip-dev
- library for reading, creating, and modifying zip archives (development)
Download cbmc
文件 | 大小(单位: kB) | MD5 校验码 |
---|---|---|
cbmc_5.6-1.dsc | 1.7 kB | 8fc578de2f81896178a6b6f816414bbc |
cbmc_5.6.orig.tar.gz | 5,331.9 kB | 37d634b10b16dae52fc80436aa046818 |
cbmc_5.6-1.debian.tar.xz | 10.4 kB | 0a31bdd2649de3f0bb427a45b1146706 |