![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform […]
![Logo ERSA by CLEARSY](https://www.clearsy.com/wp-content/uploads/2018/07/logo-ersa-by-clearsy-1.jpg)
The ERTMS unit of CLEARSY is passing a new major milestone, thanks to the acquisition on July 12th 2018 of […]
![CSSP présentée pendant l'Industry Day 2018 - Oxford](https://www.clearsy.com/wp-content/uploads/2018/07/fm-oxford-1.jpg)
At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2018/07/Tramway_Nice_Massena-850x325-1.jpg)
Luxembourg-City, and now Nice lines 2 and 3: for the second time in two years, CLEARSY will produce the safety […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/ABZ-2018-CLEARSY-850x325-1.jpg)
CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method […]
![symposium uk-2018](https://www.clearsy.com/wp-content/uploads/2018/06/symposium-uk-2018-1.jpg)
During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY […]
![starter kit SK0, Hands-on session at IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/05/ifrn-parnamirim-hands.jpg)
In Parnamirim/Brazil, the starter kit SK0 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]
![CSSP présentée à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/05/ifrn-paramirim-1.jpg)
A technical presentation of the CLEARSY Safety Platform was given to 180 students, teachers and researchers of mechatronics at the […]