Title: Hands-on RV

Abstract:
You've been hearing a lot about Runtime Verification but maybe never actually used an RV tool! Most of us have however used assertions for explicitly stating any assumptions made in the code. If for some reason one of the assumptions no longer holds, then a flag is raised. However, assertions are limited because they only have access to some local scope of the system state. During next Tuesday's Interruption Club session we will progressively show how RV has emerged as an elaborate extension to assertion checking by providing a bird's eye view of the system state.