The first starter kit (SK0) of the CLEARSY safety Platform is on sale at www.clearsy.com. With 5 digital inputs/outputs, the […]
CLEARSY enhances its position in the railway signalling area. After having acquired ERSA company last July, CLEARSY keeps consolidating its […]
In Parnamirim/Brazil, the starter kit SK1 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]
At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform […]
The ERTMS unit of CLEARSY is passing a new major milestone, thanks to the acquisition on July 12th 2018 of […]
At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY […]
Luxembourg-City, and now Nice lines 2 and 3: for the second time in two years, CLEARSY will produce the safety […]
CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method […]