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: 67 Publications Further Publications: http://mrmc-tool.org/trac/wiki/Bibliography all top 5 Cited by 139 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 Hatefi, Hassan 1 Hillston, Jane 1 Hölzl, Johannes 1 Junges, Sebastian 1 Katelaan, Jens 1 Kemna, Tim 1 Kiefer, Stefan 1 Klein, Joachim 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 1 Murawski, Andrzej S. 1 Ouaknine, Joel O. 1 Pandya, Paritosh K. ...and 39 more Authors all top 5 Cited in 16 Serials 7 Theoretical Computer Science 4 Formal Methods in System Design 4 Logical Methods in Computer Science 3 Information and Computation 3 Formal Aspects of Computing 2 Acta Informatica 2 European Journal of Control 1 Journal of Computer and System Sciences 1 Journal of Automated Reasoning 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 ACM Transactions on Modeling and Computer Simulation 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 ACM Transactions on Computational Logic all top 5 Cited in 13 Fields 62 Computer science (68-XX) 21 Probability theory and stochastic processes (60-XX) 6 Operations research, mathematical programming (90-XX) 4 Systems theory; control (93-XX) 3 Mathematical logic and foundations (03-XX) 3 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Ordinary differential equations (34-XX) 1 Integral equations (45-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year