Runtime Verification beyond Monitoring (ARVI)

This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts from potential application disciplines. The main goal is to overcome the fragmentation of RV research by

(1) the design of common input formats for tool cooperation and comparison;

(2) the evaluation of different tools, building a growing set of benchmarks and running tool competitions; and

(3) by designing a road-map and grand challenges extracted from application domains.

Funded by: European Cooperation in Science and Technology (COST)