Systerel’s expert center “Modeling and proof” consists of one of Europe’s most important teams in the field and possesses more than 15 years of experience in the industrial application of 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.