Documentation

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

User's Manual

• MRMC manuals:
  • Version 1.4  PDF
  • Version 1.3  PDF
• Test-suite manuals:
  • Version 1.3 and 1.4  PDF

Wikipedia

• Wikipedia and MRMC:
  • The Wikipedia page.  LINK
  • The Wikipedia discussion page.  LINK

Presentations

• 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

Posters

• Tag der Informatik'06 at RWTH-Aachen.  JPG,  PNG