rv-dist-pub

RVDist est un prototype d'outil écrit en C++ pour la vérification en temps réel de systèmes distribués (composants basés) à l'aide de la logique temporelle. Il utilise la plateforme Spot pour la manipulation des formules LTL et la bibliothèque BigInt pour les calculs sur de grands entiers.

Dépôt de code

https://gitlab.inria.fr/monitoring/rv-dist-pub (nouvelle fenêtre)

Cas d'utilisation métiers

Vérification de systèmes distribués en temps réel : rechercher des initiatives proches
Calcul sur de grands entiers : rechercher des initiatives proches
Manipulation de formules LTL (Logic of Temporal Logic) : rechercher des initiatives proches

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)

Description générée le mardi 19 mars 2024 à 18:08:35

D'autres initiatives de la même organisation

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