Skip to content
Sections
>> Trisquel >> Packages >> aramo >> science >> cbmc
etiona  ] [  nabia  ] [  aramo  ]
[ Source: cbmc  ]

Package: cbmc (5.12-5)

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.

Other Packages Related to cbmc

  • depends
  • recommends
  • suggests
  • dep: gcc
    GNU C compiler
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libgcc-s1 (>= 3.4) [amd64]
    GCC support library
    dep: libgcc-s1 (>= 3.5) [armhf]
    dep: libgcc-s1 (>= 4.2) [arm64, ppc64el]
  • dep: libstdc++6 (>= 9)
    GNU Standard C++ Library v3
  • dep: minisat
    Fast and lightweight SAT solver
  • sug: gdb
    GNU Debugger

Download cbmc

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 17,633.9 kB67287 kB [list of files]
arm64 13,146.2 kB58366 kB [list of files]
armhf 10,924.0 kB39742 kB [list of files]
ppc64el 17,200.0 kB75415 kB [list of files]