всички настройки
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

ФайлГолемина (в кБ)контролна сума MD5
cbmc_6.1.1-2.dsc 3,0 кБ db44721b3ccc9969479adbb91e656ac5
cbmc_6.1.1.orig-java-cprover-api.tar.gz 14,2 кБ 245cc4a092fb84d4c8a1333c793f1adc
cbmc_6.1.1.orig-java-models-library.tar.gz 292,2 кБ 6ba4b12d1ad0ee6f917128fa61df4015
cbmc_6.1.1.orig.tar.gz 8 901,0 кБ 000c8d5c62a91c8bdd6aaefe7a74e147
cbmc_6.1.1-2.debian.tar.xz 17,5 кБ e818cd1238c61d87c7bedca9e16ecfa2