www.prismmodelchecker.org
[BJV10] J. Berendsen, D. Jansen and F. Vaandrager. Fortuna: Model checking priced probabilistic timed automata. In Proc. QEST'10, pages 273-281. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications