Yirmibes / cbmc

bounded model checker for C and C++ programs

•     Michael Tautschnig
•     mt@debian.org
•     http://www.cprover.org/cbmc/
•     6.6.0-4
•     cbmc_6.6.0-4_amd64.deb
•     21.3 MiB
•     science
•     amd64
•      cbmc_6.6.0-4.debian.tar.xz
            cbmc_6.6.0-4.dsc
            cbmc_6.6.0.orig-java-cprover-api.tar.gz
            cbmc_6.6.0.orig-java-models-library.tar.gz
            cbmc_6.6.0.orig.tar.gz
•     Debian Versiyonu: 6.6.0-4
•     bounded model checker for C and C++ programs

Diğer Pardus sürümlerindeki versiyonlar