www.prismmodelchecker.org
[BDD+11] Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad and Nihal Pekergin. COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 143-144, IEEE CS Press. September 2011. [bib]
Downloads:  bib bib

Publications