D

DecentMon

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae