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 … |
| Modest Toolset | The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and … |