Lectures on Runtime Verification

Lectures on Runtime Verification
复制标题

运行时验证讲座

DOI：
--
复制
发表时间：
2018
期刊：
Lecture Notes in Computer Science
影响因子：
--
通讯作者：
David Hutchison
David Hutchison
中科院分区：
--
文献类型：
--
作者：
E. Bartocci;Yliès Falcone;G. Goos;J. Hartmanis;J. Leeuwen;David Hutchison

文献摘要

被引文献

相似文献

本章的目的是为那些想要学习运行时验证(RV)的人提供一个入门读物。我们首先提供用于RV的主要规范语言的概述。然后，我们介绍描述监控问题所需的标准术语，涵盖监控和工具的实用问题，并广泛讨论可监控性问题。
The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.