tüm seçenekler
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Kaynak Paket: cbmc (5.6-1)

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

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_5.6-1.dsc 1,7 kB 8fc578de2f81896178a6b6f816414bbc
cbmc_5.6.orig.tar.gz 5.331,9 kB 37d634b10b16dae52fc80436aa046818
cbmc_5.6-1.debian.tar.xz 10,4 kB 0a31bdd2649de3f0bb427a45b1146706