Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation:

vérification et validation de logiciels et systèmes critiques

Formal verification of systems or software developed in SCADE, C, Ada, …

Learn More  Contact us

Vérification et Validation de logiciels ou systèmes critiques


Automatic validation of critical configuration data.

Learn more Contact us