Results 161 to 170 of about 8,146 (201)
Some of the next articles are maybe not open access.
Assumption-based Runtime Verification
Formal Methods in System Design, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alessandro Cimatti +2 more
openaire +2 more sources
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology, 2011 This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three-valued semantics (with truth values
Andreas Bauer, Martin Leucker
exaly +3 more sources
Architectural Runtime Verification
2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019Analyzing runtime behavior is an important part of developing and verifying software systems. This is especially true for complex component-based systems used in the vehicle industry. Here, locating the actual cause of (mis-)behavior can be time-consuming, because the analysis is usually not performed on the architecture level, where the system has ...
Lars Stockmann, Sven Laux, Eric Bodden
openaire +1 more source
Runtime Verification for HyperLTL
2016Information flow security often involves reasoning about multiple execution traces. This subtlety stems from the fact that an intruder may gain knowledge about the system through observing and comparing several executions. The monitoring of such properties of sets of traces, also known as hyperproperties, is a challenge for runtime verification ...
Borzoo Bonakdarpour, Bernd Finkbeiner
openaire +1 more source
Runtime Verification at Work: A Tutorial
Lecture Notes in Computer Science, 2016We present a suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor. RV-Match is a tool for checking C programs for undefined behavior and other common programmer mistakes. It is extracted from the most complete formal semantics of the C11 language and beats many similar tools in its ability to ...
Traian Florin Șerbănuță +2 more
exaly +2 more sources
Runtime Verification: Passing on the Baton
2021Twenty years have passed since the first workshop on runtime verification—the area has grown and evolved with hundreds of papers published and a sizeable number of mature tools developed. In a special occasion like this it is good to look back, but it is also good to look forward to the future.
Christian Colombo 0001 +2 more
openaire +1 more source
Runtime Verification for Programmable Switches
IEEE/ACM Transactions on Networking, 2023Cyber ...
Apoorv Shukla +7 more
openaire +4 more sources