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

49 Citations (Scopus)

Abstract

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

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

Cite this