Case Studies
The Modest code for some of the following case studies is also distributed in the Samples folder of the Modest Toolset package.Probabilistic Timed Automata
mcpta has been successfully applied to three case studies. All three of them concern communication protocols that combine probabilistic and time-dependent behaviour: