×

iscasMc

swMATH ID: 36939
Software Authors: Hahn, E.M., Li, Y., Schewe, S., Turrini, A., Zhang, L.
Description: iscasMc: A web-based probabilistic model checker. 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.
Homepage: https://link.springer.com/chapter/10.1007/978-3-319-06410-9_22
Related Software: PRISM; Storm; Uppaal; PROPhESY; PARAM; MRMC; Prophet; Ipopt; Mosek; QPMC; Jani; StocHy; FAUST2; Armadillo; GiNaC; MoDeST; AMT; ASDeX; POWER-TRUCTOR; Rapture
Referenced in: 7 Publications

Referencing Publications by Year