TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
Abstract elided by the publisher.
Related papers
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021
- T2: Temporal Property Verification TACAS 2016
- Temporal NetKAT PLDI 2016
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic VMCAI 2024
- Memory Efficient Algorithms for the Verification of Temporal Properties CAV 1990
- Early Verification of Legal Compliance via Bounded Satisfiability Checking CAV 2023
- Specification and Efficient Monitoring Beyond STL TACAS 2019