Download MRMC Binary and Source

Please fill in all fields below and press the Download button.
You will receive an email with the MRMC binary or source attached:

Version:
Distribution:
Name: e.g. John M. Doe
Email address: e.g. john.doe@cs.rwth-aachen.de
Affiliation: e.g. RWTH Aachen University

Where did you hear about MRMC?  

I agree to the terms of GPL.
Notify me about new releases.


Test Suites

  • For MRMC 1.5 (53MB): [Download] md5sum: cb8a55b4c826fa4971b0c514c050f7a2
  • For MRMC 1.4.1 (50MB): [Download] md5sum: 96a882b5dcdacfb68e4faf7a71b3108d
  • For MRMC 1.4 (48.8MB): [Download] md5sum: 15e9687359d7b0e66d908a6cef580db0
  • For MRMC 1.3 (48.8MB): [Download] md5sum: ca99fa3c8523256cb9d6bc3c47cf5eaf

Related Patches

  • For MRMC 1.5: David N. Jansen's patch for a new sparse matrix data structure: optimized for bisimulation minimisation. This patch may cause a performance hit in the simulation engine.

    To apply this patch, download the source distribution of version 1.5 and this patch, go to the directory where you placed the source distribution and call patch from your shell with a command like:

    cd ..../mrmc_src_v1.5
    patch -p0 < mrmc-1.5-alternate-matrix.patch

    After that, continue compiling MRMC with make all as usual.