tüm seçenekler
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]

Kaynak Paket: cbmc (6.1.1-2)

cbmc için bağlantılar

Debian Kaynakları:

Geliştirici:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
cbmc
bounded model checker for C and C++ programs
jbmc
bounded model checker for Java programs

cbmc ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download cbmc

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
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