Welcome to DecentMon 2!

image post

DecentMon 2 is an OCaml becnhmark for Decentralized Monitoring.

It evaluates the cost of monitoring regular languages (based on automata) according to several metrics and compare the results with the results obtained in the centralized case and the decentralized case based on LTL formulae.

Last Update


Current Version