Introduction to runtime verification
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 …
Verification (RV). We start by providing an overview of the main specification languages …
Complex event recognition in the big data era: a survey
The concept of event processing is established as a generic computational paradigm in
various application fields. Events report on state changes of a system and its environment …
various application fields. Events report on state changes of a system and its environment …
A taxonomy for classifying runtime verification tools
Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …
which has stimulated the development of numerous theoretical frameworks and practical …
Verification and validation in cyber physical systems: Research challenges and a way forward
It is widely held that debugging cyber-physical systems (CPS) is challenging, to date,
empirical studies investigating research challenges in CPS verification and validation have …
empirical studies investigating research challenges in CPS verification and validation have …
Monitoring metric first-order temporal properties
Runtime monitoring is a general approach to verifying system properties at runtime by
comparing system events against a specification formalizing which event sequences are …
comparing system events against a specification formalizing which event sequences are …
Securing smart contract with runtime validation
We present Solythesis, a source to source Solidity compiler which takes a smart contract
code and a user specified invariant as the input and produces an instrumented contract that …
code and a user specified invariant as the input and produces an instrumented contract that …
MarQ: Monitoring at Runtime with QEA
G Reger, HC Cruz, D Rydeheard - … and Algorithms for the Construction and …, 2015 - Springer
Runtime monitoring is the process of checking whether an execution trace of a running
system satisfies a given specification. For this to be effective, monitors which run trace …
system satisfies a given specification. For this to be effective, monitors which run trace …
Rule-based runtime verification revisited
K Havelund - International Journal on Software Tools for Technology …, 2015 - Springer
Runtime verification (RV) consists in part of checking execution traces against user-provided
formalized specifications. Throughout the last decade many new systems have emerged …
formalized specifications. Throughout the last decade many new systems have emerged …
What is a trace? A runtime verification perspective
G Reger, K Havelund - … Symposium on Leveraging Applications of Formal …, 2016 - Springer
Abstract Runtime Monitoring or Verification deals with traces. In its most simple form a
monitoring system takes a trace produced by a system and a specification of correct …
monitoring system takes a trace produced by a system and a specification of correct …
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
The first international Competition on Runtime Verification (CRV) was held in September
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …