Establishing safety with Formal Verification

Let’s discuss the state of railway safety 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.

  • The need for Formal Verification
  • How to do Formal Verification
  • Questions & Answers
Establishing safety with Formal Verification

Yes please, send me the recording!

Gunnar Smith Prover

Gunnar Smith
VP Sales, Prover

Daniel Fredholm Prover

Daniel Fredholm
Senior Consultant, Prover