Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> science >> cbmc
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: cbmc  ]

软件包: cbmc (5.6-1)

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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: gcc
    GNU C compiler
  • dep: libc6 (>= 2.11)
    GNU C Library: Shared libraries
    同时作为一个虚包由这些包填实: libc6-udeb
  • dep: libgcc1 (>= 1:4.2)
    GCC support library
  • dep: libstdc++6 (>= 5.2)
    GNU Standard C++ Library v3
  • dep: libzip4 (>= 0.10)
    library for reading, creating, and modifying zip archives (runtime)
  • dep: minisat
    Fast and lightweight SAT solver

下载 cbmc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
i386 3,745.9 kB18035 kB [文件列表]