10 March 2026
For the third consecutive year, CLEARSY is participating in a comprehensive 42-hour course at the ENSIIE engineering school dedicated to formal methods and critical safety systems.
The programme includes:
- Introduction to formal methods (mathematically proven specifications and/or developments)
- Safety issues in the design of critical safety systems, particularly in the railway sector
- Comprehensive presentation of the formal B method : from modelling to proof, to code
Students get hands-on experience with industrial tools:
- CLEARSY’s Workshop B
- ProB from the University of Düsseldorf
- The CLEARSY Safety Platform calculator
Beyond theoretical teaching, students carry out a project covering the entire development cycle: formal modelling, verification, then generation of executable code.
Training tomorrow’s engineers in the safety and rigour requirements of critical systems is a strong commitment for CLEARSY.