{"id":13665,"date":"2021-01-28T13:42:59","date_gmt":"2021-01-28T12:42:59","guid":{"rendered":"https:\/\/stage.prover.com\/?p=13665"},"modified":"2025-01-13T13:42:42","modified_gmt":"2025-01-13T12:42:42","slug":"establishing-safety-with-formal-verification","status":"publish","type":"post","link":"https:\/\/www.prover.com\/webinar\/establishing-safety-with-formal-verification\/","title":{"rendered":"Establishing safety with formal verification"},"content":{"rendered":"
RECORDED WEBINAR<\/h6><\/div>

Establishing safety with formal verification<\/h1><\/div>

Let’s discuss the state of railway safety verification<\/h2><\/div>

Safety is critical for the railway industry. The whole industry needs to transform using digital techniques. The speed and effectiveness of rail transport must increase. This puts a lot of pressure on new, more efficient safety verification methods.<\/p>\n

Formal verification is a method that is getting more and more acknowledgement in the railway industry as a method for verifying safety. To be able to use formal verification effectively modern tools need to be used for defining requirements, develop code and verify that safety is established.<\/p>\n<\/div>

Agenda:<\/h5><\/div>
  • <\/i><\/span>
    The need for Formal Verification<\/div><\/li>
  • <\/i><\/span>
    How to do Formal Verification<\/div><\/li>
  • <\/i><\/span>
    Questions & Answers<\/div><\/li><\/ul><\/div><\/div>
    \"Establishing<\/span><\/div>

    Yes please, send me the recording!<\/h4><\/div>\n\t\t\t\t\t\t