Institutional Repository
| 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 | |
| Conference Name | 19th International Symposium on Formal Methods, FM 2014 |
| Pages | 312-317 |
| Conference Date | May 12, 2014 - May 16, 2014 |
| Conference Place | Singapore, Singapore |
| Indexed Type | CPCI ; EI |
| Publish Place | Springer Verlag |
| ISSN | 3029743 |
| ISBN | 9783319064093 |
| Department | (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 |
| English 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.; 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. |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16510 |
| Collection | 中国科学院软件研究所 |
| Corresponding Author | Zhang, L. |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment