Yirmibir / cbmc

bounded model checker for C and C++ programs

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

Diğer Pardus sürümlerindeki versiyonlar