Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
From MaRDI portal
Publication:5206953
DOI10.1007/978-3-319-19249-9_15zbMath1427.68167OpenAlexW2189638487MaRDI QIDQ5206953
Xiaoning du, Alwen Tiu, Yang Liu
Publication date: 19 December 2019
Published in: FM 2015: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19249-9_15
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (4)
Assumption-based runtime verification ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Almost event-rate independent monitoring ⋮ Extended Nested Dual System Groups, Revisited
Cites Work
- Unnamed Item
- Unnamed Item
- Constraint LTL satisfiability checking without automata
- Collecting statistics over runtime executions
- A First-Order Policy Language for History-Based Transaction Monitoring
- Counting CTL
- Rule Systems for Run-time Monitoring: from EAGLE to RULER
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
