Applicable and Achievable Formal Verification

Explore formal verification techniques and their practical applications in this 33-minute conference talk from SREcon19 Europe/Middle East/Africa. Gain an introductory overview of verification tools and techniques used in industry, particularly in safety-critical systems. Learn about different rigour levels and how to adapt these methods to existing system infrastructures. Discover misconceptions about formal verification's capabilities and automation, and understand when and how to deploy these techniques effectively. Delve into case studies involving nuclear power plants and smart sensors, and examine various approaches including vulnerability assessment tools, annotated specifications, and property-based methods. Understand the benefits of specifications and open a dialogue on implementing formal verification in everyday systems.