Documentation
Here you will find all kinds of specifications and documents related to MRMC.
User's Manual
Wikipedia
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

