Skip to content

GitLab

Explore

Sign in

Due to inactivity, this project is scheduled to be deleted on 2036-12-25. Why is this scheduled?

D

DecentMon

Project information

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

34 Commits
1 Branch
0 Tags

README
GNU General Public License v2.0 or later
CONTRIBUTING

Created on

July 13, 2019

Copy SSH clone URLgit@gricad-gitlab.univ-grenoble-alpes.fr:falconey/decentmon.git
Copy HTTPS clone URLhttps://gricad-gitlab.univ-grenoble-alpes.fr/falconey/decentmon.git