Runtime verification of real-time event streams using the tool HStriver
From MaRDI portal
Publication:6185821
DOI10.1007/s10703-023-00428-9OpenAlexW4381511620MaRDI QIDQ6185821
César Sánchez, Felipe Gorostiaga
Publication date: 8 January 2024
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-023-00428-9
Cites Work
- Unnamed Item
- Unnamed Item
- Declarative stream runtime verification (hLola)
- Deterministic concurrency: a clock-synchronised shared memory approach
- A brief account of runtime verification
- Powertrain control verification benchmark
- Constructive Polychronous Systems
- Rule Systems for Run-time Monitoring: from EAGLE to RULER
- Temporal Verification of Reactive Systems: Response
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- TeSSLa: temporal stream-based specification language