Systerel IXL Builder Design of formally proven automata-based systems Systerel Safe & Secure OPC Secure and open-source implementation of the OPC-UA protocol OVADO²® Automatic validation of critical data Systerel Smart Solver Formal verification of developed systems and software in SCADE, C, Ada
