![Stockholm Odenplan station](https://www.clearsy.com/wp-content/uploads/2018/02/Stockholm-Odenplan-station-1.jpg)
In Stockholm City and Stockholm Odenplan stations, COPPILOT, the platform screen doors control system designed by CLEARSY, is now in […]
![Shonan](https://www.clearsy.com/wp-content/uploads/2017/12/Logo-Shonan-Meeting-NII-e1513246406546-1.jpg)
CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south […]
![Conférence internationale SBMF 2017](https://www.clearsy.com/wp-content/uploads/2017/09/recife-ground_zero.jpg)
Brazilian Symposium on Formal Methods The CLEARSY Safety Platform has been presented during the talk “Applying a Formal Method in […]
![Recife Ecole Doctorale ETMF](https://www.clearsy.com/wp-content/uploads/2017/11/tuto-recife.jpg)
A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY and Centralp are joining forces to develop the ETCS DMI. The ETCS DMI (Driver Machine Interface) is an essential […]
![Logo-RailMetro-China-2017](https://www.clearsy.com/wp-content/uploads/2017/11/Logo-RailMetro-China-2017-2.png)
CLEARSY will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from […]
![Tutorial conference RSSR 2017](https://www.clearsy.com/wp-content/uploads/2017/11/tuto-pistoia-1.jpg)
Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]