Publication

[HahnLSTZ14] IscasMC: A Web-Based Probabilistic Model Checker Hahn, E. M.; Li, Y.; Schewe, S.; Turrini, A. and Zhang, L. In Nineteenth international symposium of the Formal Methods Europe association (FM), pages 312-317, Springer, Lecture Notes in Computer Science 8442, 2014.Downloads: pdf, bibURL: http://dx.doi.org/10.1007/978-3-319-06410-9_22 Abstract. We introduce the web-based model checker IscasMC for probabilistic systems (see urlhttp://iscasmc.ios.ac.cn/IscasMC). This Java application offers an easy-to-use web interface for the evaluation of Markov chains and decision processes against PCTL and PCTL^* specifications. Compared to PRISM or MRMC, IscasMC is particularly efficient in evaluating the probabilities of LTL properties.