The version 5.0.2 of Mercury has been released. What’s New Main features are related to bug fixes and improvement of usability of some tools. Description of main improvements: Bug related to marking-dependent delay in SPN (Use of IF expressions) Bug related to experiment results writing (truncated values) in SPN, CTMC, and DTMC Enjoy it,
Read More…
