Formal Methods
MAY 2023

ABZ International Conference 2023

Our teams will participate in the 9th ABZ International Conference, which will be held in Nancy from May 31 to June 2, 2023.

This year, Systerel will co-organize the workshop for Rodin users and developers. The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof.

MAY 2023

Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.