From post-conditions to post-region invariants
From MaRDI portal
Publication:6201588
DOI10.1145/3447928.3456633OpenAlexW3158905132MaRDI QIDQ6201588
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3447928.3456633
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Hybrid I/O automata.
- A complete uniform substitution calculus for differential dynamic logic
- Behavioral program logic
- The Complete Proof Theory of Hybrid Systems
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Logical Foundations of Cyber-Physical Systems
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Change and Delay Contracts for Hybrid System Component Verification
This page was built for publication: From post-conditions to post-region invariants