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.5, 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:
* a new algorithm to compute time-bounded reachability probabilities
for non-uniform CTMDPIs. This feature is based on "Continuous-Time
Stochastic Games with Time-Bounded Reachability" by Brazdil et al.
* Bug fixes for time-bounded reachability algorithm for uniform CTMDPIs
* Improved partition refinement algorithm for lumping. The new algorithm
uses a variant of quicksort instead of splay trees for efficient
splitting.
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.5, 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
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
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:
http://www.mrmc-tool.org/
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
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
