Are Formal Methods Sufficient to Ensure Safety in the Railways?

This colloquia event may not be open to the public. Please enquire at the School Office if you wish to attend.

Location: CLT 7.01
Date/Time: 24th October 2013, 13:00 - 14:00

Speaker: Thierry Lecomte, ClearSy, France (

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.

Published: 17th September 2013