Contact

Formal methods in action in the railways

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.

You will also like:

Copy link
Powered by Social Snap