Formal methods encompass mathematically rigorous techniques for the specification, development and verification of safety‐critical railway systems. In the context of modern railway transport, these ...