wiki:Specifications

TracNav?

MRMC Specifications

http://www.mrmc-tool.org/images/spec.gif

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

Content:

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

Documentation:

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.

Last modified 7 years ago Last modified on Jan 12, 2011, 1:01:27 PM