21 July 2020
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.