From post-conditions to post-region invariants

DOI10.1145/3447928.3456633OpenAlexW3158905132MaRDI QIDQ6201588

Eduard Kamburjan

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

zbMATH Keywords

invariantshybrid systemsactive objectsdeductive verification

Mathematics Subject Classification ID

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