Formal methods in action in the railways

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real for successfully completing safety demonstrations.

In this white paper, we show that several formal methods (B, Event-B, formal data validation) directly contribute to safety critical software development, system-level sprecification analysis and constant parameters validation, with the help of mathematical proof.