Runtime verification (RV) consists of a broad collection of light-weight scalable analysis techniques to verify and to guarantee at runtime important properties such as correctness, safety, reliability, security, and robustness. The papers in this special issue address some of the RV core problems providing an overview of a wide range of application domains where RV tools and techniques are currently employed. The papers are based on selected contributions from the 2015 Conference on Runtime Verification, an annual forum for scientists from both academia and industry to discuss on how to monitor, analyze and guide the execution of programs and from the 2015 Workshop on Static Analysis meets Runtime Verification.

中文翻译：

---

运行时验证特刊介绍

运行时验证 (RV) 由大量轻量级可扩展分析技术组成，用于在运行时验证和保证重要属性，例如正确性、安全性、可靠性、安全性和稳健性。本期特刊中的论文解决了一些 RV 核心问题，概述了当前使用 RV 工具和技术的广泛应用领域。这些论文基于 2015 年运行时验证会议的精选贡献，该会议是学术界和工业界科学家讨论如何监控、分析和指导程序执行的年度论坛，以及 2015 年静态分析与运行时验证研讨会的精选贡献.