[ trixie ] [ sid ]

[ ソース: cbmc ]

パッケージ: jbmc (6.4.1-2)

jbmc に関するリンク

Debian の資源:

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

メンテナ:

Michael Tautschnig (QA ページ)

外部の資源:

ホームページ [www.cprover.org]

類似のパッケージ:

bounded model checker for Java programs

JBMC 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.

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.38)

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libgcc-s1 (>= 3.5)

GCC 共有ライブラリ
dep: libstdc++6 (>= 14)

GNU 標準 C++ ライブラリ v3
dep: minisat (>= 1:2.2.1)

Fast and lightweight SAT solver

sug: java-compiler

以下のパッケージによって提供される仮想パッケージです: openjdk-17-jdk, openjdk-17-jdk-headless, openjdk-21-jdk, openjdk-21-jdk-headless, openjdk-22-jdk, openjdk-22-jdk-headless, openjdk-23-jdk, openjdk-23-jdk-headless, openjdk-24-jdk, openjdk-24-jdk-headless, openjdk-25-jdk, openjdk-25-jdk-headless

jbmc のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
armel	6,808.1 kB	25,528.0 kB	[ファイル一覧]