iscasMc: A Web-Based Probabilistic Model Checker

Ernst Moritz Hahn, Yi Li, University Liverpool, Andrea Turrini, Lijun Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

71 Citations (Scopus)


We introduce the web-based model checker iscasMc for probabilistic systems (see ). 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.
Original languageEnglish
Title of host publicationFM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Number of pages6
Publication statusPublished - 2014
Externally publishedYes


Dive into the research topics of 'iscasMc: A Web-Based Probabilistic Model Checker'. Together they form a unique fingerprint.

Cite this