Le projet ICSA2017Tutorial est un outil de modélisation et de simulation de systèmes à états finis. Il permet de définir des états, des transitions et des actions, ainsi que de spécifier des conditions de garde pour contrôler le flux de contrôle. Les scénarios d'exécution peuvent être simulés et validés par rapport à des comportements attendus, offrant un support précieux pour la vérification et la validation de systèmes réactifs.

AlphaZ est un outil de modélisation et d'analyse de systèmes, permettant la manipulation de systèmes affines et la génération de code à partir de modèles. Il offre des fonctionnalités avancées d'analyse et de vérification de systèmes, et s'appuie sur des technologies telles qu'Xtext pour la génération de code.

OpenEmbedd est un projet dédié à la modélisation, la simulation et la génération de code pour les systèmes embarqués. Il permet de vérifier formellement des propriétés sur les modèles et facilite le développement de systèmes embarqués critiques.

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.