MRMC Specifications

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

Content:

1. Documentation:
2. Presentations:
3. Posters:

Documentation:

• MRMC manuals:
  • Version 1.5  PDF
  • Version 1.4.1  PDF
  • Version 1.4  PDF
  • Version 1.3  PDF
• Test-suite manuals:
  • Version 1.5  PDF
  • Version 1.4.1  PDF
  • Version 1.3 and 1.4  PDF
• 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

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