IscasMc: A web-based probabilistic model checker

ISCAS OpenIR

	IscasMc: A web-based probabilistic model checker
	Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1); Zhang, L.
	2014
会议名称	19th International Symposium on Formal Methods, FM 2014
页码	312-317
会议日期	May 12, 2014 - May 16, 2014
会议地点	Singapore, Singapore
收录类别	CPCI ; EI
出版地	Springer Verlag
ISSN	3029743
ISBN	9783319064093
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China; (2) Department of Information Science, School of Math. Sciences, Peking University, China; (3) Department of Computer Science, University of Liverpool, United Kingdom
摘要	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.; 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.
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16510
专题	中国科学院软件研究所
通讯作者	Zhang, L.
推荐引用方式 GB/T 7714	Hahn, Ernst Moritz ,Li, Yi ,Schewe, Sven ,et al. IscasMc: A web-based probabilistic model checker[C]. Springer Verlag,2014:312-317.