Offers : Railway
![](https://www.clearsy.com/wp-content/uploads/2020/07/supervision-e1621605101838.jpg)
maintenance support, supervision Nuclear-energy, Railway
The offer is based on CLEARSY's expertise, the DAME software suite and its ability to secure interfaces.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Formal system validation Railway
The formal system validation, obtained with the B-method, is an element of the demonstration of the safety of a critical system.