Welcome to DecentMon !

image post

DecentMon is an OCaml becnhmark for Decentralized Monitoring of LTL formulae.

It evaluates the cost of monitoring LTL formulae according to several metrics and compare the results with the results obtained in the centralized case.

Last Update

Mar01

Current Version


Ver1.2