iscasMc: A Web-Based Probabilistic Model Checker

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

doi:10.1007/978-3-319-06410-9_22

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 proceeding › Conference contribution

77 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 language	English
Title of host publication	FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Pages	312-317
Number of pages	6
DOIs	https://doi.org/10.1007/978-3-319-06410-9_22
Publication status	Published - 2014
Externally published	Yes

Access to Document

10.1007/978-3-319-06410-9_22

https://doi.org/10.1007/978-3-319-06410-9_22

Cite this

@inproceedings{14756edc3bf745f3b1f4dacb5e4a183d,

title = "iscasMc: A Web-Based Probabilistic Model Checker",

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.",

author = "Hahn, \{Ernst Moritz\} and Yi Li and University Liverpool and Andrea Turrini and Lijun Zhang",

year = "2014",

doi = "10.1007/978-3-319-06410-9\_22",

language = "English",

pages = "312--317",

booktitle = "FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings",

}

TY - GEN

T1 - iscasMc: A Web-Based Probabilistic Model Checker

AU - Hahn, Ernst Moritz

AU - Li, Yi

AU - Liverpool, University

AU - Turrini, Andrea

AU - Zhang, Lijun

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-06410-9_22

DO - 10.1007/978-3-319-06410-9_22

M3 - Conference contribution

SP - 312

EP - 317

BT - FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

ER -

iscasMc: A Web-Based Probabilistic Model Checker

Abstract

Access to Document

Fingerprint

Cite this