Outil permettant de prédire et gérer les données à charger et à mettre en cache pour des applications EMF et NeoEMF.

CoqTL est un langage de programmation interne (DSL) pour la transformation de modèles dans l'environnement de preuve formelle Coq. Il permet de spécifier des transformations de modèles de manière déclarative et de générer des preuves pour ces transformations. Ce dépôt contient des exemples et des preuves pour CoqTL, ainsi que des générateurs pour créer des métamodèles et des modèles à partir de fichiers Ecore et XMI.

Générateur aléatoire de modèles EMF, utilisant le backend de persistance NeoEMF. Ce projet est basé sur le code de ce [générateur](https://github.com/atlanmod/mondo-atlanmod-instantiator) existant.

Outil permettant de caractériser précisément l'ensemble des requêtes indéfinies d'un système basé sur des règles, grâce à une méthode statique et une approche énumérative optimisée. Il permet d'améliorer la flexibilité, la modularité et la fiabilité des systèmes de sécurité en identifiant les conflits de règles et en proposant une vue globale des politiques complexes.

ACP-all est un projet dédié à la détection et au résumé de problèmes dans un système basé sur des règles. Il permet d'identifier efficacement les anomalies et de générer des alertes pertinentes pour faciliter la résolution des problèmes.