全部搜尋項
trixie  ] [  forky  ] [  sid  ]
[ 原始碼: ocaml-dscheck  ]

套件:libdscheck-ocaml-dev(0.5.0-2 以及其他的)

libdscheck-ocaml-dev 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 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 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 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 [檔案列表]
ppc64el 0.5.0-2+b3 295。7 kB717。0 kB [檔案列表]
riscv64 0.5.0-2+b3 310。1 kB895。0 kB [檔案列表]
s390x 0.5.0-2+b4 290。3 kB637。0 kB [檔案列表]