Publié le 30/09/2013 |
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.