A new plugin for Plasma Lab is available. It provides a language and simulator for modeling Probabilistic Timed Automata, a property language and checker, and specific algorithms for PTA.
The plugin is available on the plugin page.
Sponsors
Statistical Model-Checker
