ICE-TCS talk: Ian Cassar (University of Malta)
Different Flavours of Runtime Monitoring
Date/Time: Friday, 17 March 2017, from 12:15 till about 13:00
Location: M113 - Reykjavík University
Speaker: Ian Cassar (University of Malta)
Title: Different Flavours of Runtime Monitoring
Abstract: Runtime Monitoring is a lightweight software verification technique that provides an assessment of the behaviour of a given system as this executes. System behaviour is thus assessed dynamically by a monitor with respect to some desired performance or correctness criteria. These criteria are generally described in terms of a formal description which enables monitors to be automatically generated by a compiler. Different monitoring flavours exist, ranging from minimally intrusive to highly intrusive, each of which has its own merits and drawbacks.