all options
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]

Source Package: cbmc (6.1.1-2)

Links for cbmc

Debian Resources:

Maintainer:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
cbmc
bounded model checker for C and C++ programs
jbmc
bounded model checker for Java programs

Інші пакунки пов'язані з cbmc

  • build-depends
  • build-depends-indep

Download cbmc

ФайлРозмір (в кБ)MD5 checksum
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