Project Description
RECORDED WEBINAR
Establishing safety with Formal Verification
Watch our digital event where we 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.
During this recorded webinar we will give you:
- The need for Formal Verification
- How to do Formal Verification
- Answers on many important questions focusing on how to implement Formal Verification
Agenda
1. The need for Formal Verification
– Gunnar Smith
2. How to do Formal Verification
– Daniel Fredholm
3. Q&A
– Gunnar Smith, Daniel Fredholm
Length: approx. 1 hour