From post-conditions to post-region invariants

DOI10.1145/3447928.3456633OpenAlexW3158905132MaRDI QIDQ6201588FDOQ6201588

Authors: 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

hybrid systemsinvariantsactive 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

• Title not available (Why is that?)
• The algorithmic analysis of hybrid systems
• Hybrid I/O automata.
• The Complete Proof Theory of Hybrid Systems
• 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 uniform substitution calculus for differential dynamic logic
• Title not available (Why is that?)
• Change and delay contracts for hybrid system component verification
• Behavioral program logic
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling

This page was built for publication: From post-conditions to post-region invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201588)