SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal Verification

Applicable and Achievable Formal Verification

Heidy Khlaaf, Adelard LLP

Formal verification is often considered an overly rigorous, and potentially unnecessary technique to be deployed on everyday systems. There are numerous misconceptions about the capability and automation of formal verification techniques, and when and how they can be deployed. This talk will thus provide an introductory overview of the verification tools and techniques deployed in industry, specifically, the safety critical industry, at different rigour levels, and how these techniques can be adapted to your current existing system infrastructure.