IscasMC: A Web-Based Probabilistic Model Checker
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