Event Details

Security Lancaster Research Seminar by Dr Mirco Giacobbe (Univ. of Birmingham) - (host Dr Andrew Sogokon)

Teams Link: Join Seminar (We’d appreciate if you could optionally register to join our mailing list)

Dr Mirco Giacobbe - Univ. of Birmingham

Formal Verification with Neural Networks

I will present a realm of data-driven approaches to formal verification that leverage neural network to represent formal certificates of correctness, which we call neural certificates. Neural certificates apply to a wide variety of questions, from the termination and the safety analysis of deterministic and probabilistic programs to the stability and the reachability analysis of deterministic and probabilistic dynamical systems and find application to quantitative verification questions too. I will demonstrate both through examples and experimental results that neural certificates not only attain comparable performance with respect to existing symbolic verification algorithms, but also enable the verification of systems that were beyond reach for existing technologies.