Differential Dynamic Logic for Verifying Parametric Hybrid Systems

DOI10.1007/978-3-540-73099-6_17zbMath1132.68478OpenAlexW1930225646MaRDI QIDQ5434491

André Platzer

Publication date: 4 January 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_17

zbMATH Keywords

quantifier eliminationsequent calculusdynamic logicverification of parametric hybrid systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

HRELTL: a temporal logic for hybrid systems, A dynamic logic with branching modalities, Computing Differential Invariants of Hybrid Systems as Fixedpoints, KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description), Model checking duration calculus: a practical approach, Construction of parametric barrier functions for dynamical systems using interval analysis, Reachability computation for polynomial dynamical systems, Differential dynamic logic for hybrid systems

Uses Software

• QEPCAD
• PHAVer