Section menu links

Section menu links

Event calendar

previous year August 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 29 30 31  


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