いつの間にかCBMCがオープンソースになっていた。
http://www.cprover.org/cbmc/
svnでversion4.1のソースをダウンロードできる。
svn co http://www.cprover.org/svn/cbmc/releases/cbmc-4.1
これらを書いたころはver2.4のみソースが公開され、Currentの3.9はバイナリのみ提供されていた。
http://d.hatena.ne.jp/interdb/20110205/1296890562
http://d.hatena.ne.jp/interdb/20110228/1298836970
http://d.hatena.ne.jp/interdb/20110301/1298928053
