MRMC Specifications

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

Content:

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

Documentation:

• The MRMC interface:
  • Version 1.2.2 TXT
  • Version 1.2.1 TXT
  • Version 1.2 TXT
• 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.