Quantitative Modelling and Verification

The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and stochastic systems. A modular framework centered around the stochastic hybrid automata formalism [HHHK13] and supporting the JANI specification, it provides a variety of input languages and analysis backends.

Latest Release