alla flaggor
trixie  ] [  sid  ]
[ Källkod:  ]

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

Länkar för libdscheck-ocaml-dev

Screenshot

Debianresurser:

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libdscheck-ocaml-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libdscheck-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
sh4 (inofficiell anpassning) 247,6 kbyte323,0 kbyte [filförteckning]