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.
|Title of host publication||FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings|
|Number of pages||6|
|Publication status||Published - 2014|