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

Paketti: 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.

Muut pakettiin cbmc liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: gcc
    GNU C compiler
  • dep: libc6 (>= 2.11) [i386]
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
    dep: libc6 (>= 2.14) [amd64]
  • dep: libgcc1 (>= 1:3.0) [amd64]
    GCC support library
    dep: libgcc1 (>= 1:4.2) [i386]
  • 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

Imuroi cbmc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 3,927.0 kt19082 kt [tiedostoluettelo]
i386 3,745.9 kt18035 kt [tiedostoluettelo]