The quest for an adequate semantic basis of dense-time metric temporal logic

DOI10.1007/978-3-031-15629-8_12zbMath1524.68188OpenAlexW4297922698MaRDI QIDQ6163886

Martin Fränzle

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15629-8_12

zbMATH Keywords

metric-time temporal logicvariability constraints

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Unnamed Item
• A calculus of durations
• Duration calculus. A formal approach to real-time systems.
• Model-checking dense-time duration calculus
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• A really temporal logic
• The benefits of relaxing punctuality
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: The quest for an adequate semantic basis of dense-time metric temporal logic