To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

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 …

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 …

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 …

Runtime verification (RV) consists in part of checking execution traces against user-provided
formalized specifications. Throughout the last decade many new systems have emerged …

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 …

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 …

Smart contracts present new challenges for runtime verification techniques, due to features
such as immutability of the code and the notion of gas that must be paid for the execution of …

With the growing complexity of railway control systems, it is required to preform runtime
safety checks of system executions that go beyond conventional runtime monitoring of pre …

In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …