Adding State to Stream Runtime Verification
- 12 October 2024
- book chapter
- Published by Springer Nature
- p. 163-173
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems2023
- TeSSLa – An Ecosystem for Runtime Verification2022
- Stream runtime verification of real-time event streams with the Striver languageInternational Journal on Software Tools for Technology Transfer, 2021
- RTLola on Board: Testing Real Driving Emissions on your Phone2021
- Online and Offline Stream Runtime Verification of Synchronous Systems2018
- Striver: Stream Runtime Verification for Real-Time Event-Streams2018
- TeSSLa: Temporal Stream-Based Specification Language2018
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors2012
- Synchronous Programming of Reactive Systems1993
- The ESTEREL synchronous programming language and its mathematical semantics1985