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

Links für libdscheck-ocaml-dev

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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

dep: libcontainers-ocaml-dev-knck0

virtuelles Paket, bereitgestellt durch libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

virtuelles Paket, bereitgestellt durch liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
dep: ocaml-5.2.0

virtuelles Paket, bereitgestellt durch ocaml

libdscheck-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
sh4 (inoffizielle Portierung)	0.5.0-2 b1	247,8 kB	324,0 kB	[Liste der Dateien]