Runtime Verification, from Theory to Practice and Back (Christian Colombo, Univ. of Malta, Malta)

Lecture by Christian Colombo (University of Malta, Malta) at the Winter School on Runtime Verification March 19-21, 2018, in Praz sur Arly (near Grenoble), France Abstract: This talk will take a hands-on approach to show how a runtime verification tool can be built from scratch, looking both at how the monitoring code can be automatically instrumented into a system, and how the monitoring logic can be extracted from a specification. For the former we will look at manual instrumentation and using aspect-oriented programming techniques, while for the latter we will look at how monitoring code can be synthesised from automata and regular expressions. The lecture will provide a grounding to the students in order to be able to follow how the techniques and results in other sessions can be integrated with real-world systems. ============================================ Winter School on Runtime Verification March 19-21, 2018 Lectures from the LNCS tutorial volume 10457 on Runtime Verification Organisation: Inria Grenoble Scientific coordination: Yliès Falcone https://www.cost-arvi.eu/?page_id=1163

Видео Runtime Verification, from Theory to Practice and Back (Christian Colombo, Univ. of Malta, Malta) автора IT Express