Compositional verification of real-time systems with explicit clock temporal logic

DOI10.1007/BF01214917zbMath0852.68056MaRDI QIDQ1918934

Ruurd Kuiper, Ping Zhou, J. J. M. Hooman

Publication date: 23 July 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

real-time systemsexplicit clock temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• Specifying message passing and time-critical systems with temporal logic
• Real-time logics: Complexity and expressiveness
• Compositional semantics for real-time distributed computing
• A calculus of durations
• Real time process algebra
• Proving Liveness Properties of Concurrent Programs