University of Twente
| Tool | Description |
|---|---|
| DSCheck | DSCheck is an experimental model checker for testing concurrent OCaml programs. |
| JANI | The JANI specification defines the jani-model model interchange format and the jani-interaction tool … |
| LTSmin | LTSmin started out as a generic toolset for manipulating labelled transition systems. Meanwhile the … |