全部搜索项
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]
[ 源代码: cbmc  ]

软件包:cbmc(5.95.1-4)

cbmc 的相关链接

Screenshot

Debian 的资源:

下载源码包 cbmc

维护者:

外部的资源:

相似软件包:

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.

标签: 角色: 程序

其他与 cbmc 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 cbmc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
alpha (非官方移植版) 17,296.6 kB87,593.0 kB [文件列表]
amd64 20,650.1 kB80,898.0 kB [文件列表]
arm64 16,633.0 kB74,082.0 kB [文件列表]
armel 15,887.4 kB66,838.0 kB [文件列表]
armhf 14,070.3 kB48,782.0 kB [文件列表]
hppa (非官方移植版) 15,412.4 kB65,832.0 kB [文件列表]
i386 20,991.2 kB81,508.0 kB [文件列表]
ia64 (非官方移植版) 23,192.3 kB143,958.0 kB [文件列表]
m68k (非官方移植版) 18,084.6 kB74,324.0 kB [文件列表]
mips64el 16,005.5 kB91,083.0 kB [文件列表]
ppc64 (非官方移植版) 18,211.5 kB90,146.0 kB [文件列表]
ppc64el 18,412.7 kB85,730.0 kB [文件列表]
riscv64 19,343.3 kB60,326.0 kB [文件列表]
s390x 18,604.3 kB75,038.0 kB [文件列表]
sh4 (非官方移植版) 22,104.7 kB73,529.0 kB [文件列表]
sparc64 (非官方移植版) 13,631.6 kB72,995.0 kB [文件列表]
x32 (非官方移植版) 19,452.7 kB72,063.0 kB [文件列表]