In this white paper we discuss why Formal Verification should be used to verify software safety requirements. As a provider of Formal Verification, we are fully convinced that it is the best methodology for safety verification and should be used when engineering safe rail control systems.
A typical passenger train weighs between 1500 and 6000 tons and its freight train counterpart weighs more, between 3000 and 18000 tons. Trains are massive. The risks involved in such a mass travelling at high speeds make the safety aspects of the railway industry unique.