Tools
| Name | Description | Models |
|---|---|---|
| HAMSTERS-XLE | Human – centered Assessment and Modelling to Support Task Engineering for Resilient Systems. | 1 |
| IVY workbench | A tool to model and verify interactive systems, using NuSMV as the verification backend. | 8 |
| PVS | An Higher-Order interactive Theorem Prover. | 6 |
| itemis CREATE | An integrated modeling environment for the specification and development of reactive, event-driven systems based on the concept of statecharts. | 1 |