You are currently not logged in. Login

Adelard delivers keynote lecture at SREcon19

Heidy Khlaaf, Consultant at Adelard, was invited to deliver the keynote lecture at Site Reliability Engineering Conference 2019 (SREcon19) in Dublin, Ireland. SREcon is an annual conference gathering engineers and enabling them to discuss topics of site reliability, systems engineering, and working with complex distributed systems at scale.

Heidy’s lecture “Applicable and Achievable Formal Verification” provided an introductory overview of the verification tools and techniques deployed in safety critical industry at different rigour levels. It also addressed various misconceptions associated with the capability and automation of formal verification techniques, and when and how they can be deployed. Watch Heidy’s talk below from SREcon19 and learn how these techniques can be adapted to your current existing system infrastructure.