www.prismmodelchecker.org
[BBC+08] J. Barnat, L. Brim, I. Cerna, M. Ceska and J. Tumova. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In Proc. 5rd International Conference on Quantitative Evaluation of Systems (QEST'08), pages 77-78, IEEE CS Press. 2008. [bib]
Downloads:  bib bib

Publications