Results 11 to 20 of about 8,146 (201)
, 2012 We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime verification with state estimation, and predictive analysis are synergistically combined. Overhead control maintains the overhead of
Seyster, Justin +12 more
core +2 more sources
Incrementally predictive runtime verification [PDF]
Journal of Logic and Computation, 2023 Runtime verification is a lightweight formal verification technique used to verify the runtime behaviour of software (resp. hardware) systems. Given a formal property, one or more monitors are synthesized to verify the latter against a system execution ...
Giorgio Delzanno, Angelo Ferrando
core +4 more sources
Runtime Verification as Documentation
, 2022 In runtime verification, a monitor is used to return a Boolean verdict on the behavior of a system. We present several examples of the use of monitors to instead document system behavior.
Dams, Dennis +2 more
core +4 more sources
Runtime Checking for Program Verification [PDF]
, 2007 The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This
Zee, Karen +2 more
core +3 more sources
Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification [PDF]
, 2017 International audienceRuntime Verification consists in studying a system at runtime, looking for input and output events to discover, check or enforce behavioral properties.
Jakse, Raphaël +3 more
core +3 more sources
Runtime Verification with Particle Filtering [PDF]
, 2013 We introduce Runtime Verification with Particle Filtering (RVPF), a powerful and versatile method for controlling the tradeoff between uncertainty and overhead in runtime verification.
Bartocci, Ezio +9 more
core +2 more sources
On Benchmarking for Concurrent Runtime Verification [PDF]
Fundamental Approaches to Software Engineering24th International Conference, 2021 AbstractWe present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to a comprehensive assessment of the overhead induced by runtime monitoring.
Aceto L +3 more
europepmc +4 more sources
On Distributed Runtime Verification by Aggregate Computing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications.
Giorgio Audrito +3 more
doaj +1 more source
Runtime verification: the application perspective [PDF]
International Journal on Software Tools for Technology Transfer, 2012 In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and guaranteeing their correctness using monitoring techniques.
Falcone, Yliès, Zuck, Lenore
openaire +4 more sources
Multiparty Session Actors [PDF]
Logical Methods in Computer Science, 2017 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