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.1, 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: * Verification of steady-state properties of CTMCs using the simulation engine. This marks the completion of the simulation engine. * Bugfix in the Fox-Glynn algorithm. In certain cases the computed Poisson probabilities were incorrect. This fix is crucial for computing transient-reachability probabilities of CTMCs (time-interval and time-bounded until). * Added additional functional and performance tests for the simulation engine. Please see the RELEASENOTES file of the MRMC distribution for a detailed list of enhancements and fixes. In case you have any questions about MRMC v1.4.1, 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 Viet Yen -- http://moves.rwth-aachen.de/~nguyen