Differential Dynamic Logic for Verifying Parametric Hybrid Systems
From MaRDI portal
Publication:5434491
DOI10.1007/978-3-540-73099-6_17zbMath1132.68478MaRDI QIDQ5434491
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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A dynamic logic with branching modalities, Construction of parametric barrier functions for dynamical systems using interval analysis, Reachability computation for polynomial dynamical systems, HRELTL: a temporal logic for hybrid systems, Model checking duration calculus: a practical approach, Differential dynamic logic for hybrid systems, Computing Differential Invariants of Hybrid Systems as Fixedpoints, KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
Uses Software