Results 21 to 30 of about 8,146 (201)

Introduction to Runtime Verification [PDF]

, 2018
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 ...
Bartocci, Ezio, Falcone, Yliès, Francalanza, Adrian, Reger, Giles   +3 more
openaire   +3 more sources

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model.
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca   +5 more
doaj   +1 more source

Uncertainty in runtime verification: A survey

Computer Science Review, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rania Taleb, Sylvain Hallé, Raphaël Khoury   +2 more
openaire   +3 more sources

Improving Runtime Overheads for detectEr [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs.
Ian Cassar, Adrian Francalanza, Simon Said   +2 more
doaj   +1 more source

Tree Buffers [PDF]

, 2015
In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
Kiefer, Stefan, Stefan Kiefer, Grigore, Radu, Radu Grigore   +3 more
core   +1 more source

Assumption-Based Runtime Verification of Infinite-State Systems

, 2021
Runtime Verification (RV) basically means monitoring an execution trace of a system under scrutiny and checking if the trace satisfies or violates a specification.
Chun Tian, Stefano Tonetta, Alessandro Cimatti   +2 more
core   +1 more source

Runtime Verification using VALOUR

Kalpa Publications in Computing, 2018
In this paper we give an overview of Valour, a runtime verification tool which has been developed in the context of a project to act as a backend verification tool for financial transaction software.
Christian Colombo, Edward Mallia, Gordon Pace, Shaun Azzopardi, Jean Paul Ebejer   +4 more
core   +3 more sources

Timed Runtime Monitoring for Multiparty Conversations [PDF]

, 2014
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial ...
Yoshida, N, Yoshida, Nobuko, Neykova, R, Bocchi, L, Bocchi, Laura, Neykova, Rumyana, Laura Bocchi, Nobuko Yoshida, Rumyana Neykova   +8 more
core   +1 more source

Runtime Verification of Kotlin Coroutines

, 2022
Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming using coroutines is difficult, among other things, because they can move between threads and behave unexpectedly.
Furian, Denis, Azzopardi, Shaun, Falcone, Yliès, Schneider, Gerardo   +3 more
openaire   +2 more sources

Multiparty Session Actors [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.
Rumyana Neykova, Nobuko Yoshida
doaj   +1 more source