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.
We are currently offline. Please leave a message and we will answer you soon. 