Trace Analysis Using an Event-Driven Interval Temporal Logic

DOI10.1007/978-3-030-45260-5_11zbMath1502.68183OpenAlexW3020575628MaRDI QIDQ5097635

Laura Panizo, María del Mar Gallardo

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) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Interval logics and their decision procedures. II: A real-time interval logic
• Coverage-guided test generation for continuous and hybrid systems
• Duration calculus. A formal approach to real-time systems.
• The benefits of relaxing punctuality
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Trace Analysis Using an Event-Driven Interval Temporal Logic