Safety is critical for the railway industry. The whole industry needs to transform using digital techniques. The speed and effectiveness of rail transport must increase. This puts a lot of pressure on new, more efficient safety verification methods.
Formal verification is a method that is getting more and more acknowledgement in the railway industry as a method for verifying safety. To be able to use formal verification effectively modern tools need to be used for defining requirements, develop code and verify that safety is established.