In this talk, I will explain why runtime verification is cool, why it should be fast(er), and why I believe machine learning can make it so. Then I'll talk about first steps towards this goal.
[This talk is based on an EPSRC First Grant (Fast Runtime Verification via Machine Learning) and a CONCUR2018 paper (Selective Monitoring). It's also a rehearsal for talks I'll give elsewhere, so feedback will be most welcome.]
Cornwallis South West,
University of Kent,