Runtime verification of real-time event streams using the tool HStriver

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

zbMATH Keywords

runtime verificationreal-time streamsstream runtime verification

Mathematics Subject Classification ID

Computer science (68-XX)

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