First International Summer School on Runtime Verification
This paper briefly reports on the first international summer school on Runtime Verification: Branches of practical topics rooted in theory, co-organized and sponsored by COST Action IC1402 ArVi which was held September 23–25, Madrid, Spain as part of the 16th international conference on Runtime Verification (RV 2016).
We would like to warmly thank all the researchers for their lectures and all the participants to the summer school. We hope that the summer school will be continued in the future by becoming a regular event.
This summer school is based upon work from COST Action ARVI IC1402, supported by COST (European Cooperation in Science and Technology). The organizers are grateful to the COST association for sponsoring the summer school.
- 2.Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Broy, M., Peled, D.A., Kalus, G. (eds.) Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 34, pp. 141–175. IOS Press (2013)Google Scholar