A Temporal Dynamic Logic for Verifying Hybrid System Invariants
From MaRDI portal
Publication:5434526
DOI10.1007/978-3-540-72734-7_32zbMath1132.03338MaRDI QIDQ5434526
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
sequent calculus; dynamic logic; temporal logic; deductive verification of embedded systems; logic for hybrid systems
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items