A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

DOI10.2168/LMCS-8(4:17)2012zbMath1261.03113arXiv1206.3357OpenAlexW3102952452MaRDI QIDQ4899117

André Platzer

Publication date: 7 January 2013

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

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

zbMATH Keywords

theorem provingproof theoryaxiomatizationdifferential dynamic logicdistributed hybrid systemsquantified differential equations

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Hybrid systems of ordinary differential equations (34A38)

Related Items (4)

An exercise on the generation of many-valued dynamic logics ⋮ Verification of Hybrid Systems ⋮ From post-conditions to post-region invariants ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic

Uses Software

• QEPCAD
• R-Charon

This page was built for publication: A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems