Ce projet est un plugin destiné à améliorer la conception de plugins pour l'environnement de programmation visuelle CaseInE. Il offre des fonctionnalités de synchronisation avec CaseInE pour le designer, de génération de tests pour les programmes CaseInE et d'intégration avec d'autres outils de développement pour CaseInE.

SIMPA est un outil d'analyse et d'inférence de modèles de systèmes, permettant de générer des tests et de vérifier des propriétés à partir de protocoles de communication. Il offre une interface graphique et prend en charge différents types de systèmes, tels que les systèmes de type Mealy et EFSM.