ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/CBMC へ行く。

*CBMC - - C/C++用境界モデルチェッカー [#z9d4a8fa]
|メインページ|>| http://www.cprover.org/cbmc/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|C/C++用境界モデルチェッカー|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(CBMC);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[cbmc:http://packages.debian.org/cbmc]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=CBMC]],&soft_addpkg(Ubuntu);|~|

|Ubuntuパッケージ|[[cbmc:http://packages.ubuntu.com/cbmc]]|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=CBMC]],&soft_addpkg(RPM);|~|
|登録日|2011-05-16|~|

***説明 [#v216b2bd]
C/C++用境界モデルチェッカー

----
***コメント [#n55864c7]
#comment(above)