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.
During this webinar you will learn about:
- The state space explosion
- Why traditional verification methods are inadequate.
- Why formal verification provides a solution.