ccsl_gemoc_compiler

Le projet ccsl_gemoc_compiler est un outil de modélisation et de simulation de systèmes concurrents. Il permet de définir des contraintes temporelles sur les événements d'un système et de vérifier leur respect lors de la simulation.

Dépôt de code

https://gitlab.inria.fr/kairos/ccsl_gemoc_compiler (nouvelle fenêtre)

Cas d'utilisation métiers

Modélisation et simulation de systèmes concurrents : rechercher des initiatives proches
Vérification de propriétés temporelles : 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 à 19:22:03

D'autres initiatives de la même organisation

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