21 July 2020
ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013.
Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which extent safety is ensured.
At that occasion, some examples of railways data validation will be exhibited.