At a Glance
| Applications | Petri Net Analysis Probabilistic Model Checker |
| Developers | Università di Firenze |
| Inputs | ORIS |
| Interfaces | CLI |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Description
The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and stochastic systems.