Decent

Decent est un banc d'essai pour l'application de la logique temporelle linéaire (LTL) à la surveillance décentralisée de systèmes distribués. Il est écrit en OCaml et offre une interface pour l'entrée de formules LTL, de traces et de topologies de systèmes distribués.

Dépôt de code

https://gitlab.inria.fr/monitoring/decent (nouvelle fenêtre)

Cas d'utilisation métiers

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Outil utilisé

OCaml : voir les initiatives de ses organisations qui l'ont aussi

Description générée le mardi 19 mars 2024 à 09:41:27

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala