A Temporal Dynamic Logic for Verifying Hybrid System Invariants

DOI10.1007/978-3-540-72734-7_32zbMath1132.03338OpenAlexW2118721394MaRDI QIDQ5434526

André Platzer

Publication date: 4 January 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_32

zbMATH Keywords

sequent calculusdynamic logictemporal logicdeductive verification of embedded systemslogic for hybrid systems

Mathematics Subject Classification ID

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

Related Items

A Dynamic Logic with Traces and Coinduction, Trace Analysis Using an Event-Driven Interval Temporal Logic, A dynamic logic with branching modalities, Differential dynamic logic for hybrid systems