Version 1.2 released

The version 1.2 of DecentMon is released. It is available as a ZIP file with all included.

This version allows to perform the benchmarks using several probability distributions for the occurence of atomic propositions in events.
See some examples of new benchmarks in the dedicated section.

MAR01

Version 1.1 released

The version 1.1 of DecentMon is released. It is available as a ZIP file with all included.
A documentation is forthcoming. Please refer to the examples to see how to use it or to the README file inside the distribution.
One can also contact us for any questions.

This version brings support for new monitoring statistics related to the delays induced by decentralised monitoring: the average delay and the maximal delay. It also brings a refined display of monitoring statistics.

JUN19

Version 1.0 released

The version 1.0 of DecentMon is released. It is available as a ZIP file with all included.
A documentation is forthcoming. Please refer to the examples to see how to use it or to the README file inside the distribution.
One can also contact us for any questions.

JUN3