Alle Optionen
trixie  ] [  forky  ] [  sid  ]
[ Quellcode: ocaml-dscheck  ]

Paket: libdscheck-ocaml-dev (0.5.0-2 und andere)

Links für libdscheck-ocaml-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket ocaml-dscheck herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libdscheck-ocaml-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libdscheck-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 0.5.0-2+b4 292,5 kB637,0 kB [Liste der Dateien]
arm64 0.5.0-2+b4 294,2 kB691,0 kB [Liste der Dateien]
ppc64el 0.5.0-2+b4 295,9 kB717,0 kB [Liste der Dateien]
riscv64 0.5.0-2+b4 309,3 kB895,0 kB [Liste der Dateien]
s390x 0.5.0-2+b5 290,4 kB637,0 kB [Liste der Dateien]