ICE-TCS talk: Ian Cassar (University of Malta)

Different Flavours of Runtime Monitoring

  • 17.3.2017, 12:15 - 13:00

ICE-TCS-logo-200px

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.