Runtime Verification
Lecture notes in computer science · 2018
The RV 2018 proceedings focus on runtime verification. The selected papers deal with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness.