すべてのオプション
bianca  ]
[ ソース: ocaml-dscheck  ]

パッケージ: libdscheck-ocaml-dev (0.5.0-2 など)

libdscheck-ocaml-dev に関するリンク

Screenshot

ocaml-dscheck ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

model checker for testing concurrent programs

Experimental model checker for testing concurrent programs. DSCheck exploers interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions.

その他の libdscheck-ocaml-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libdscheck-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 0.5.0-2+b3 292.7 kB637.0 kB [ファイル一覧]
arm64 0.5.0-2+b3 294.0 kB691.0 kB [ファイル一覧]