Our products and training
ClearSy was founded on January 1st, 2001 by a group of engineers that had industrialized the formal modeling tool referred to as Atelier B, used in the rail transport industry to create safety software.
Our products and trainings available
Industrial tool enabling the operational use of Method B for proven software development. Training available in understanding and using B.