tüm seçenekler
bianca  ]
[ Kaynak: ocaml-dscheck  ]

Paket: libdscheck-ocaml-dev (0.5.0-2 ve diğerleri)

libdscheck-ocaml-dev için bağlantılar

Screenshot

ocaml-dscheck Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libdscheck-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 0.5.0-2+b3 292,7 kB637,0 kB [dosya listesi]
arm64 0.5.0-2+b3 294,0 kB691,0 kB [dosya listesi]