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 |
Subtitle of host publication | 19th International Symposium, Singapore, May 12-16, 2014. Proceedings |
Editors | Cliff Jones, Pekka Pihlajasaari, Jun Sun |
Place of Publication | Cham |
Publisher | Springer |
Pages | 312-317 |
Number of pages | 6 |
ISBN (Electronic) | 978-3-319-06410-9 |
ISBN (Print) | 978-3-319-06409-3 |
DOIs | |
Publication status | Published - 2014 |
Externally published | Yes |
Event | 19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore Duration: 12 May 2014 → 16 May 2014 Conference number: 19 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 8442 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 19th International Symposium on Formal Methods, FM 2014 |
---|---|
Abbreviated title | FM |
Country/Territory | Singapore |
City | Singapore |
Period | 12/05/14 → 16/05/14 |
Keywords
- Model checker
- Markov decision process (MDP)
- Reachability problem
- Work thread
- Probabilistic model checker