Suitability of the propositional temporal logic to express properties of real-time systems

DOI10.1007/3-540-55210-3_173zbMath1493.68218OpenAlexW1514316408MaRDI QIDQ5096770

Guy Vidal-Naquet, Eric Nassor

Publication date: 18 August 2022

Published in: STACS 92 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55210-3_173

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Temporal logic can be more expressive
• “Sometimes” and “not never” revisited
• The complexity of propositional linear temporal logics

This page was built for publication: Suitability of the propositional temporal logic to express properties of real-time systems