全部搜索项
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 [文件列表]