packages
[ 原始碼： cbmc ]
套件： cbmc (6.6.0-4) [universe]
cbmc 的相關超連結
Ubuntu 的資源：
下載原始碼套件 cbmc：
- [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]
- [cbmc_6.6.0-4.debian.tar.xz]
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
外部的資源：
- 主頁 [www.cprover.org]
相似套件：
bounded model checker for C and C++ programs