Webinar – Formal verification2019-04-08T08:03:14+00:00

Project Description

Webinar – Formal Verification

Learn why formal verification is 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.

During this webinar you will learn about:

  • The state space explosion
  • Why traditional verification methods are inadequate.
  • Why formal verification provides a solution.

These are the steps we will go through:

  • Introduction
  • Description of the general verification problem
  • The inspiration from mathematical logic

Register for our Webinar on the 24 th of April 15:00 – 16:00 CEST  by filling out the form.