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.

Intro
Background
Formal Verification (Expectation)
Is Formal Verification For Me?
Safety-Critical Systems
IEC 61508 - The "Golden Boy" Safety Standard
Case 1: End-To-End Verification
Verifying Nuclear Power Plants
Case 2: Smart Device Verification
Verifying Smart Sensors
Examples
Vulnerability Assessment tools
Annotated Specifications
Stand-alone Specifications
Design Specifications
Property Based Approach (tools)
Benefits of Specifications
Now what?
Opening a Dialogue