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).

中文翻译：

---

运行时验证特刊介绍

本文介绍了 2016 年 9 月在西班牙马德里举行的第 16 届运行时验证国际会议 (RV 2016) 审稿论文集的扩展版本。系统执行一般。运行时验证技术是轻量级动态技术，用于在系统执行期间评估和强制执行正确性、可靠性和稳健性。这些技术比传统测试更强大、更通用，比详尽的形式验证更实用（以不完整的覆盖为代价）。