The Modest Toolset Contact us Documentation Examples Publications Download

Examples

The Modest Toolset download contains a Samples folder with a number of example models and case studies that can be analysed with the various tools:

Probabilistic Models

Probabilistic Timed Models

Stochastic Timed Models

Hybrid Models