Dear colleague,

In the past you have shown interest in MRMC or its predecessor ETMCC. We like to inform you that a ** new release ** of the Markov Reward Model Checker, MRMC v1.3, is now available for a free download at:

http://www.mrmc-tool.org/

Apart from many detailed enhancements and bug fixes, the following features have been added:

* CTMC model checking via discrete event simulation. * CTMDPI model checking of time bounded reachability properties. * Improved command-line interface. * Extended - PDF format - manuals. * Performance tests for the simulation engine (MRMC vs Ymer and Vesta).

Please see the RELEASENOTES file of the MRMC distribution for a detailed list of enhancements and fixes.

The four year of MRMC-related research and development was summarized in the PhD thesis of Ivan S. Zapreev:

"Model Checking Markov Chains: Techniques and Tools".

The PDF version of this manuscript is available here:

http://www.mrmc-tool.org/downloads/Paper/Zapreev_PhD08.pdf

In case you have any questions about MRMC v1.3, we encourage you to contact us vie the MRMC-Users mailing list:

https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users

Sincerely,

The MRMC Development Team

PS: In order to unsubscribe from the MRMC-Announce mailing list, visit:

https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-announce