Runtime verification is concerned with the monitoring and analysis of the<br>runtime behaviour of software and hardware systems. Runtime verification<br>techniques are crucial for system correctness, reliability, and<br>robustness; they provide an additional level of rigor and effectiveness<br>compared to conventional testing, and are generally more practical<br>than exhaustive formal verification. Runtime verification can be used<br>prior to deployment, for testing, verification, and debugging purposes,<br>and after deployment for ensuring reliability, safety, and security and<br>for providing fault containment and recovery as well as online system<br>repair.<br>Topics of interest to the conference include:<br>* specification languages<br>* monitor construction techniques<br>* program instrumentation<br>* logging, recording, and replay<br>* combination of static and dynamic analysis<br>* specification mining and machine learning over runtime traces<br>* metrics and statistical information gathering<br>* program/system execution visualization<br>* fault localization, containment, recovery and repair<br><div>* integrated vehicle health management (IVHM)</div><div><br></div>
Abbrevation
RV
City
Limassol
Country
Cyprus
Deadline Paper
Start Date
End Date
Abstract