Version 2 (modified by Viet Yen Nguyen, 11 years ago) (diff)



Contribute to MRMC

We always welcome your contribution to MRMC! There are many ways in which you can contribute, like programming, debugging, testing, brainstorming, supporting and designing. Feel free to drop us a mail!

Development Process:

We have a set of guidelines that have been created on our experience. Those guidelines ensure that we make releases of the highest quality. These guidelines can be found here: TXT

Unimplemented Features:

  • 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

Support Fellow Users:

Art and Design: