Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation:
Formal verification of systems or software developed in SCADE, C, Ada, …
Automatic validation of critical configuration data.