Verification in continuous time by discrete reasoning

DOI10.1007/3-540-60043-4_60zbMath1496.68189OpenAlexW1544022704MaRDI QIDQ5096392

Luca de Alfaro, Zohar Manna

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_60

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

HRELTL: a temporal logic for hybrid systems ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Robustness of temporal logic specifications for continuous-time signals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axioms for tense logic. I: 'Since' and 'until'
• Models for reactivity
• Symbolic model checking for real-time systems
• Temporal proof methodologies for timed transition systems
• What good are digital clocks?
• The benefits of relaxing punctuality

This page was built for publication: Verification in continuous time by discrete reasoning