すべてのオプション
wheezy  ] [  jessie  ] [  sid  ]
[ ソース: cbmc  ]

パッケージ: cbmc (4.1-1.2)

cbmc に関するリンク

Screenshot

Debian の資源:

cbmc ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

その他の cbmc 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

cbmc のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 4,452.7 kB10,649.0 kB [ファイル一覧]
armel 4,196.5 kB9,255.0 kB [ファイル一覧]
armhf 3,921.3 kB6,830.0 kB [ファイル一覧]
i386 4,517.5 kB10,836.0 kB [ファイル一覧]
ia64 6,784.1 kB22,512.0 kB [ファイル一覧]
kfreebsd-amd64 4,451.4 kB10,625.0 kB [ファイル一覧]
kfreebsd-i386 4,517.3 kB10,811.0 kB [ファイル一覧]
mips 4,096.8 kB11,360.0 kB [ファイル一覧]
mipsel 4,096.1 kB11,360.0 kB [ファイル一覧]
powerpc 4,768.3 kB11,111.0 kB [ファイル一覧]
s390 4,494.1 kB10,804.0 kB [ファイル一覧]
s390x 4,870.1 kB12,047.0 kB [ファイル一覧]
sparc 4,387.3 kB10,510.0 kB [ファイル一覧]