Version 5 (modified by 11 years ago) (diff) | ,
---|
MRMC Specifications
Here you will find all kinds of specifications and documents related to MRMC.
Content:
Documentation:
- The MRMC interface:
- Wikipedia and MRMC:
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:
Note: This page is constantly under construction, more documents will be coming here.