Applicable and Achievable Formal Verification

Friday, 2019, October 4 - 16:4517:30

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.

Heidy Khlaaf, Adelard LLP

Heidy Khlaaf is a Research Consultant at Adelard LLP where she evaluates, specifies, and verifies the implementations of safety-critical systems. She received her Ph.D. from University College London where she developed novel research methodologies, in part with Microsoft Research, to fully-automate the verification of temporal properties over software systems.

@conference {239642,
author = {Heidy Khlaaf},
title = {Applicable and Achievable Formal Verification},
year = {2019},
address = {Dublin},
publisher = {USENIX Association},
month = oct,

Presentation Video