CoqTL

Notoriété 24 %

CoqTL est un langage interne à Coq permettant d'écrire des transformations de modèles et de graphes basées sur des règles. Il est associé à une bibliothèque facilitant la preuve de la correction des transformations dans Coq.

Dépôt de code

https://github.com/atlanmod/coqtl (nouvelle fenêtre)14 étoiles

Cas d'utilisation métiers

Preuve de la correction des transformations de modèles : rechercher des initiatives proches
Travail avec des machines à états (Moore et Mealy) : rechercher des initiatives proches
Transformation de modèles informatiques : 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
    - Établissements publics sous tutelle - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut Mines-Télécom École de management
        Écoles internes
        Institut Mines-Télécom - Atlantique (organisation rattachée)

Description générée le lundi 18 mars 2024 à 11:41:46

D'autres initiatives de la même organisation

NeoEMF
github.com/atlanmod/NeoEMF
emfviews
github.com/atlanmod/emfviews
Mogwai
github.com/atlanmod/Mogwai
ATLGT
github.com/atlanmod/ATLGT