RECORDED WEBINAR

Why Formal Verification

The only solution to safety verification

Safety verification is vital for interlockings. During this webinar we will describe the general problem of safety verification and show that formal verification is the only method that provides 100% coverage when verifying safety requirements.

Agenda:
  • The state space explosion
  • Why traditional verification methods are inadequate
  • Why formal verification provides a solution
Why Formal Verification

Yes please, send me the recording!

Hosts
Daniel Fredholm Prover

Daniel Fredholm
Senior Consultant, Prover