|Version 7 (modified by nguyen, 5 years ago)|
Here you will find all kinds of specifications and documents related to MRMC.
- The MRMC interface:
- 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.