Section menu links

Section menu links

Event calendar

previous year February 2018 next year

        1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28      


1st Summer School on Runtime Verification

Location Consejo Superior de Investigaciones Científicas (CSIC), Madrid, Spain
Date 23 - 25 September 2016
Calendar file .vcs  .ics

COST Network Runtime Verification beyond Monitoring (ARVI) organised the Runtime Verification Summer School: 'Branches of practical topics rooted in theory'.

The three-day summer school offered a series of lectures from international experts during the day and a follow-up practical session in the evening. The course focused on:

  • the fundamentals of runtime verification (RV): starting with the basic concept of what is RV, moving on to instrumentation techniques, and property specification languages.
  • the major practical  aspects of RV: handling data through monitor parametrisation, monitoring concurrency errors, and performance issues of monitors. There was also a session on RV tools, giving the participants time to try tools and interact with their creators.
  • advanced and cutting-edge research in the fields with topics ranging from runtime enforcement to the combination of static and dynamic analysis, and from monitoring of distributed and transaction-based systems to low-level hardware monitoring.

Share this COST Event