Version 4 (modified by Christina Jansen, 11 years ago) (diff)



MRMC Specifications

Here you will find all kinds of specifications and documents related to MRMC.


  • The MRMC interface:
    • Version 1.2.2 TXT
    • Version 1.2.1 TXT
    • Version 1.2 TXT
  • Wikipedia and MRMC:


  • Markov Reward Model Checker, VOSS-II final meeting. PDF
  • How Fast and Fat Is Your Probabilistic Model Checker? PPS
  • Bisimulation minimisation mostly speeds up probabilistic model checking. PDF
  • Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. PDF
  • A Markov Reward Model Checker. PDF
  • ETMCC v2.0 (MRMC), VOSS-II kick off meeting. PDF


Note: This page is constantly under construction, more documents will be coming here.