Introduction to the special issue on runtime verification

Abstract

This article introduces the extended versions of selected papers from the refereed proceedings of the 16th International Conference on Runtime Verification (RV 2016) held in Madrid, Spain, in September 2016. Runtime verification encompasses all aspects of monitoring and analysis of hardware, software, and system executions in general. Runtime verification techniques are lightweight dynamic techniques to assess and enforce correctness, reliability, and robustness during system execution. These techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification (at the price of incomplete coverage).

COST Action IC1402 Runtime Verification Beyond Monitoring

“…focused on industrial aspects [4,3], two special issues in Formal Methods in System Design [9,20], two successful international schools on RV attracting around 40 students each [12,13] with one organized alongside the 16th International Conference on Runtime Verification [19] and one as an independent event, competitions on Software for Runtime Verification [1,18,32] as well as an extensive report on the first edition [6].…”