全部搜索项
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]

源码包:cbmc(6.1.1-2)

cbmc 的相关链接

Debian 的资源:

维护者:

外部的资源:

本源码包构建了以下这些二进制包:
cbmc
bounded model checker for C and C++ programs
jbmc
bounded model checker for Java programs

其他与 cbmc 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

Download cbmc

文件大小(单位:kB)MD5 校验码
cbmc_6.1.1-2.dsc 3.0 kB db44721b3ccc9969479adbb91e656ac5
cbmc_6.1.1.orig-java-cprover-api.tar.gz 14.2 kB 245cc4a092fb84d4c8a1333c793f1adc
cbmc_6.1.1.orig-java-models-library.tar.gz 292.2 kB 6ba4b12d1ad0ee6f917128fa61df4015
cbmc_6.1.1.orig.tar.gz 8,901.0 kB 000c8d5c62a91c8bdd6aaefe7a74e147
cbmc_6.1.1-2.debian.tar.xz 17.5 kB e818cd1238c61d87c7bedca9e16ecfa2