Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems

DOI10.1007/978-3-642-35722-0_17zbMath1437.68116arXiv1207.2531OpenAlexW1513198022MaRDI QIDQ3455848

Hao Zheng, Ping Hou

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.2531

Mathematics Subject Classification ID

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

Uses Software

• R-Charon

Cites Work

• Unnamed Item
• Differential dynamic logic for hybrid systems
• Using branching time temporal logic to synthesize synchronization skeletons
• Syntax and consistent equation semantics of hybrid Chi
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• “Sometimes” and “not never” revisited
• Conflict resolution for air traffic management: a study in multiagent hybrid systems

This page was built for publication: Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems