Trace analysis using an event-driven interval temporal logic

DOI10.1007/978-3-030-45260-5_11MaRDI QIDQ5097635zbMATH OpenOpenAlexFDO

Authors María del Mar Gallardo, Laura Panizo

Publication date 25 August 2022

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-45260-5_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Temporal logic (03B44)

Recommendations

• HRELTL: a temporal logic for hybrid systems
• Monitoring bounded LTL properties using interval analysis
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• scientific article; zbMATH DE number 1617300
• HyTech: A model checker for hybrid systems

Cites work

• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• Coverage-guided test generation for continuous and hybrid systems
• Duration calculus. A formal approach to real-time systems.
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems
• Interval logics and their decision procedures. II: A real-time interval logic
• The benefits of relaxing punctuality

Cited in

(3)

• A computational framework based on the dynamic pipeline approach
• Event-based time-stamped claim logic
• Revisiting Semantics of Interactions for Trace Validity Analysis

This page was built for publication: Trace analysis using an event-driven interval temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097635)