IscasMc: A web-based probabilistic model checker

Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

49 Citations (Scopus)

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 languageEnglish
Title of host publicationFM 2014: Formal Methods
Subtitle of host publication19th International Symposium, Singapore, May 12-16, 2014. Proceedings
EditorsCliff Jones, Pekka Pihlajasaari, Jun Sun
Place of PublicationCham
PublisherSpringer
Pages312-317
Number of pages6
ISBN (Electronic)978-3-319-06410-9
ISBN (Print)978-3-319-06409-3
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore
Duration: 12 May 201416 May 2014
Conference number: 19

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8442
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Symposium on Formal Methods, FM 2014
Abbreviated titleFM
CountrySingapore
CitySingapore
Period12/05/1416/05/14

Keywords

  • Model checker
  • Markov decision process (MDP)
  • Reachability problem
  • Work thread
  • Probabilistic model checker

Fingerprint Dive into the research topics of 'IscasMc: A web-based probabilistic model checker'. Together they form a unique fingerprint.

Cite this