Outil dédié à la génération automatique de fichiers .gspn pour le vérificateur de modèles COSMOS. Il permet de modéliser des lignes de production industrielles sous forme de modèles DTMC (chaînes de Markov à temps discret) avec une politique de service bloquante. Les fichiers générés sont utilisés pour analyser et valider des systèmes de production complexes, facilitant ainsi l'optimisation et la vérification de leur fonctionnement.

Projet académique dédié à l'analyse statique de code Java et à la modélisation de systèmes de fichiers. Il permet de vérifier la conformité des noms de classes, méthodes et attributs aux conventions de nommage, d'évaluer la qualité du code et de générer des rapports structurés sur les structures logicielles. Utilisé dans un cadre pédagogique pour enseigner les bonnes pratiques de développement et la modélisation UML.

Outil dédié à la validation, la préparation et la visualisation de données scientifiques, notamment climatiques. Il permet de structurer des jeux de données bruts en fichiers NetCDF standardisés, de vérifier leur cohérence et de générer des visualisations adaptées à des grilles hexagonales ou autres formats géospatiaux. Utilisé principalement pour des simulations environnementales et des analyses de données issues de modèles climatiques.