D
DecentMon
DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
IMPORTANT : mardi 20 avril et jeudi 22 avril entre 16h et 19h, une maintenance des équipements réseau de l'UGA entrainera une coupure de la plate-forme gitlab. Des perturbations sont également possibles entre ces deux dates.
DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae