Establishing safety with Formal Verification

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.