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.4, is now available for a free download at:
You can also find there a new video tutorial about MRMC.
For this release, the following features and fixes were added and made:
* Improved performance of bitset datastructure, * Added heuristic for discrete event simulation of CTMCs, * Small bugfix in the reachability analysis of uCTMDP's, * Added initial support for Splint static analysis
Please see the RELEASENOTES file of the MRMC distribution for a detailed list of enhancements and fixes.
We are currently working on a major revision of MRMC. We need your input to make the next MRMC faster and easier to use. Please fill-in our online questionnaire which takes only three minutes:
http://www.surveymonkey.com/s.aspx?sm=rDjDKhmZbTQQ9ZK9_2ffoN5w_3d_3d
In case you have any questions about MRMC, we encourage you to contact us via 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