Ondokuz / cbmc

bounded model checker for C and C++ programs

•     Michael Tautschnig
•     mt@debian.org
•     http://www.cprover.org/cbmc/
•     5.10-5
•     cbmc_5.10-5_amd64.deb
•     9.6 MiB
•     science
•     amd64
•      cbmc_5.10-5.debian.tar.xz
            cbmc_5.10-5.dsc
            cbmc_5.10.orig-java-models-library.tar.gz
            cbmc_5.10.orig.tar.gz
•     Debian Versiyonu: 5.10-5
•     bounded model checker for C and C++ programs

Diğer Pardus sürümlerindeki versiyonlar