![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Solving Verification Questions using Machine Learning
Solving Verification Questions using Machine LearningAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anupam Das. Formal verification’s aim is that of deriving rigorous proofs for the correctness of systems and, traditionally, has mainly been tackled using automated reasoning methods. In this talk, I will argue that formal verification can be takled using statistical methods too. I will discuss the liveness verification question which, intuitively, is the question of whether a system always responds. For dynamical systems, this relates to the stability question; for computer programs, it is the halting problem. I will present a novel approach where neural networks are used to learn formal witnesses (ranking and Lyapunov functions) of liveness from data while ensuring formal soundness of these witness. I will show how we apply this method to the stability analysis of dynamical systems and to the termination analysis of probabilistic programs. — Topic: Theory Seminar – Mirco Giacobbe Time: Oct 15, 2021 01:45 PM London Join Zoom Meeting https://bham-ac-uk.zoom.us/j/89105359212?pwd=MkZRYnJja0p2Ly9VbW1nMjBpUVdpUT09 Meeting ID: 891 0535 9212 Passcode: 745852 One tap mobile +442080806592,,89105359212#,,,,745852# United Kingdom +443300885830,,89105359212#,,,,745852# United Kingdom Dial by your location +44 208 080 6592 United Kingdom +44 330 088 5830 United Kingdom +44 131 460 1196 United Kingdom +44 203 481 5237 United Kingdom +44 203 481 5240 United Kingdom +44 203 901 7895 United Kingdom +44 208 080 6591 United Kingdom Meeting ID: 891 0535 9212 Passcode: 745852 Find your local number: https://bham-ac-uk.zoom.us/u/k1IS0TTff Join by SIP 89105359212@zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (Amsterdam Netherlands) 213.244.140.110 (Germany) 103.122.166.55 (Australia Sydney) 103.122.167.55 (Australia Melbourne) 149.137.40.110 (Singapore) 64.211.144.160 (Brazil) 149.137.68.253 (Mexico) 69.174.57.160 (Canada Toronto) 65.39.152.160 (Canada Vancouver) 207.226.132.110 (Japan Tokyo) 149.137.24.110 (Japan Osaka) Meeting ID: 891 0535 9212 Passcode: 745852 This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsTheoretical computer science seminar What's on in Physics? Analysis seminarOther talksLife : it’s out there, but what and why ? Wave turbulence in the Schrödinger-Helmholtz equation Control variates for computing transport coefficients The tragic destiny of Mileva Marić Einstein TBA TBA |