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.
The state space explosion
Why traditional verification methods are inadequate
Why formal verification provides a solution