Systerel a développé des solutions exploitant les méthodes formelles pour gagner en qualité et en productivité sur des activités de vérification et validation :
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada, …
Validation automatique des données critiques de configuration