[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: Abstract. We introduce the web-based model checker IscasMC for probabilistic systems (see url 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.