×

MRMC

swMATH ID: 4129
Software Authors: Joost-Pieter Katoen; RWTH Aachen
Description: The ins and outs of the probabilistic model checker MRMC. The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions. Distinguishing features of MRMC are its support for computing time- and reward-bounded reachability probabilities, (property-driven) bisimulation minimization, and precise on-the-fly steady-state detection. Recent tool features include time-bounded reachability analysis for continuous-time Markov decision processes (CTMDPs) and CSL model checking by discrete-event simulation. This paper presents the tool’s current status and its implementation details.
Homepage: http://mrmc-tool.org/trac/
Programming Languages: None
Operating Systems: None
Dependencies: None
Keywords: Model checking; Markov chains; CTMC; DTMC; MRM; CTMDP; Numerical analysis; Discrete-event simulation; Bisimulation minimization
Related Software: PRISM; Ymer; Uppaal; CADP; Storm; CEGAR; NuSMV; SPIN; SIGREF; LiQuor; SMART_; Kronos; z3; Bio-PEPA; PEPA; iscasMc; PROPhESY; PARAM; Gurobi; Rapture
Cited in: 68 Documents
Further Publications: http://mrmc-tool.org/trac/wiki/Bibliography
all top 5

Cited by 145 Authors

17 Katoen, Joost-Pieter
7 Zhang, Lijun
6 Hermanns, Holger
5 Han, Tingting
5 Mereacre, Alexandru
4 Abate, Alessandro
4 Chen, Taolue
4 Jansen, David N.
4 Wolf, Verena
3 Ábrahám, Erika
3 Baier, Christel
3 Becker, Bernd
3 Hahn, Ernst Moritz
3 Haverkort, Boudewijn R.
3 Jansen, Nils
3 Wimmer, Ralf D.
2 Barbot, Benoît
2 Bartocci, Ezio
2 Bortolussi, Luca
2 Cloth, Lucia
2 Dubslaff, Clemens
2 Esmaeil Zadeh Soudjani, Sadegh
2 Guck, Dennis
2 Henzinger, Thomas A.
2 Jobstmann, Barbara
2 Klink, Daniel
2 Klüppelholz, Sascha
2 Konur, Savas
2 Kovács, Laura Ildikó
2 Kwiatkowska, Marta Z.
2 Leucker, Martin
2 Lygeros, John
2 Nielson, Flemming
2 Norman, Gethin
2 Prandini, Maria
2 Stankovič, Miroslav
2 Tribastone, Mirco
2 Vandin, Andrea
2 Wachter, Björn
1 Aarts, Fides
1 Ahmed, Waqar
1 Aldini, Alessandro
1 Aljazzar, Husain
1 Arnold, Florian
1 Bakir, Mehmet Emin
1 Bauer, Matthew Steven
1 Bernardo, Marco
1 Bertrand, Nathalie
1 Biscaia, M.
1 Blom, Stefan
1 Böde, Eckard
1 Bohy, Aaron
1 Bozzano, Marco
1 Bruyère, Véronique
1 Calder, Muffy
1 Cardelli, Luca
1 Chadha, Rohit
1 Cimatti, Alessandro
1 Dannenberg, Frits
1 De Nicola, Rocco
1 Dehnert, Christian
1 Drechsler, Rolf
1 Fearnley, John
1 Feng, Yuan
1 Filieri, Antonio
1 Gao, Yang
1 Gast, Nicolas
1 Gebler, Daniel E.
1 Geilen, Marc
1 Gheorghe, Marian
1 Ghezzi, Carlo
1 Gilmore, Stephen T.
1 Grosu, Radu
1 Haddad, Serge
1 Hasan, Osman
1 Hasuo, Ichiro
1 Hatefi, Hassan
1 Hillston, Jane
1 Hölzl, Johannes
1 Junges, Sebastian
1 Katelaan, Jens
1 Katsumata, Shin-ya
1 Kemna, Tim
1 Kiefer, Stefan
1 Klein, Joachim
1 Kori, Mayuko
1 Krčál, Jan
1 Kuntz, Matthias
1 Kuppens, Harco
1 Larsen, Kim Guldstrand
1 Latella, Diego
1 Leue, Stefan
1 Leuschner, Linda
1 Loreti, Michele
1 Majumdar, Rupak
1 Massink, Mieke
1 Mateus, Paulo C.
1 Mathur, Umang
1 Mattarei, Cristian
1 Milios, Dimitrios
...and 45 more Authors

Citations by Year