We have now published a new date when we will run our popular webinar about Formal Verification. The date for the webinar is the 28th of April. Safety verification is vital for railway 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 for safety verification
- Why formal verification provides a solution to safety in the railway industry
The speaker on the webinar is one of our experts on Formal Verification, Daniel Fredholm.