Implémentation libre et sécurisée du protocole OPC UA

Conception d’automatismes formellement prouvée + génération automatique du code cible

Validation formelle automatisée de données de configuration

Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada