Systerel’s expert center “Modeling and proof” consists of one of Europe’s most important teams in the field and possesses more than 20 years of experience in the industrial application of formal methods.
Using Formal Methods
Why relying on formal methods?
Which technique for which problem?
Systerel is one of the leaders in using the B method to develop industrial critical systems.
Systerel offers industrial solutions based on SCADE development.
Systerel Smart Solver
Formal verification of systems and software developed in SCADE, C, Ada
The HLL Language
Systerel has now been using HLL for many years in the formal safety verification of critical systems such as CBTCs, interlockings, logical control-command circuits, but also for the optimization of constrained systems.
Systerel is the technical leader of the RODIN platform and ensures its maintenance and evolution.