Version 2 (modified by Christina Jansen, 11 years ago) (diff)




MRMC-News Mailing list

To subscribe, e-mail: subscribe mrmc-news in the message body to:

Recent news of 2008

News archive of 2007

News archive of 2006


In the early January 2007 the New MRMC Version (1.2.1) is going to be available!


WARNING: The Qureshi-Sanders uniformization algorithm requires ordering of the state space according to the state rewards. That is why temporarily:

  • properly ordered input files should be provided to MRMC
  • lumping (bisimulation) should not be used

in case of CSRL model checking that involves Qureshi-Sanders uniformization algorithm (Time- and reward-bounded until). We already work on fixing these limitations and malfunctions.


  • Our paper, named "Bisimulation minimization mostly speeds up probabilistic model checking." was accepted at TACAS'07 PDF BibTex
  • There is now a new web-page on the MRMC web-site. It is called Related. There you may find some third-party projects, papers etc. that reference MRMC in this or that way. If you have your reference, that you would like to add/remove, just e-mail us at: ???


One of you, our dear users, have found that it is possible to build and use MRMC under Windows using Cygwin. The trick is to add:

#include < sys/time.h >

line into the includes section of:

src/mcc.c and src/io/parser/parser_etmcc2.y

files of the distribution. Note that this fix has been added into the currently downloadable version since 14.11.2006.

News archive of 2005