ISCASMC: A Web-Based Probabilistic Model Checker

Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2014) ISCASMC: A Web-Based Probabilistic Model Checker. In: FM 2014: Formal Methods - 19th International Symposium, Singapore.

Text
paper_118.pdf - Author Accepted Manuscript
Download (155kB)

Official URL: http://dx.doi.org/10.1007/978-3-319-06410-9_22

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. © 2014 Springer International Publishing Switzerland.

Item Type:	Conference or Workshop Item (Unspecified)
Additional Information:	## TULIP Type: Conference Proceedings (contribution) ##
Depositing User:	Symplectic Admin
Date Deposited:	01 Feb 2017 11:28
Last Modified:	19 Jan 2023 07:19
DOI:	10.1007/978-3-319-06410-9_22
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3005480