Results 31 to 40 of about 8,146 (201)

Interactive Runtime Verification

CoRR, 2017
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state.
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget   +3 more
openaire   +2 more sources

Runtime Verification for Biochemical Programs [PDF]

Electronic Notes in Theoretical Computer Science, 2013
AbstractThe biochemical paradigm is well-suited for modelling autonomous systems and new programming languages are emerging from this approach. However, in order to validate such programs, we need to define precisely their semantics and to provide verification techniques.
Oana Andrei, Hélène Kirchner
openaire   +2 more sources

Runtime Monitoring of Software Execution Trace: Method and Tools

IEEE Access, 2020
As with the extensive use of complex software in many fields, such as finance, transportation, aeronautics, and astronautics, software plays an increasingly more important role in society.
Shiyi Kong, Minyan Lu, Luyi Li, Lihua Gao   +3 more
doaj   +1 more source

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification [PDF]

, 2022
Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code.
Falzon, Ryan, Pace, Gordon J., Ellul, Joshua, Azzopardi, Shaun   +3 more
core  

07011 Abstracts Collection – Runtime Verification [PDF]

, 2008
From January 2--6 2007 the Dagstuhl Seminar 07011 {\em `Runtime Verification'} was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg, Havelund, Klaus, Rosu, Grigore, Finkbeiner, Bernd   +3 more
core   +1 more source

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.
Ian Cassar, Adrian Francalanza
doaj   +1 more source

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications

Robotics, 2023
This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS.
Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi   +5 more
doaj   +1 more source

STARVOORS: A Tool for Combined Static and Runtime Verification of Java [PDF]

, 2015
We present the tool StaRVOOrS (Static and Runtime Verification of Object-Oriented Software), which combines static and runtime verification (RV) of Java programs.
Schneider, Gerardo,, Pace, Gordon, Schneider, Gerardo, Chimento, Jesús Mauricio, Jesús Mauricio Chimento, Ahrendt, Wolfgang, Pace, Gordon J., Wolfgang Ahrendt, Gordon J. Pace, Chimento, Mauricio,, Gerardo Schneider, Ahrendt, Wolfgang,, Chimento, Mauricio   +12 more
core   +1 more source

A Novel Runtime Verification Solution for IoT Systems

IEEE Access, 2018
Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to machine interactions are to be ...
Koray Incki, Ismail Ari
doaj   +1 more source

Monitoring distributed systems with distributed polyLarva [PDF]

, 2014
polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised.
Colombo, Christian, Francalanza, Adrian, Cassar, Ian   +2 more
core   +1 more source