Several formal techniques based on B have been presented to an academic audience. A technical presentation of teh CLEARSY Safety […]

In Stockholm City and Stockholm Odenplan stations, COPPILOT, the platform screen doors control system designed by CLEARSY, is now in […]

CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south […]

Brazilian Symposium on Formal Methods The CLEARSY Safety Platform has been presented during the talk “Applying a Formal Method in […]

A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put […]

CLEARSY and Centralp are joining forces to develop the ETCS DMI. The ETCS DMI (Driver Machine Interface) is an essential […]

CLEARSY will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from […]

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]