From post-conditions to post-region invariants

DOI10.1145/3447928.3456633MaRDI QIDQ6201588zbMATH OpenOpenAlexFDO

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

active objectsdeductive verificationhybrid systemsinvariants

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

• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• A complete uniform substitution calculus for differential dynamic logic
• Behavioral program logic
• Change and delay contracts for hybrid system component verification
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• Hybrid I/O automata.
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical foundations of cyber-physical systems
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• The algorithmic analysis of hybrid systems
• The Complete Proof Theory of Hybrid Systems

Cited in

(1)

• Modular analysis of distributed hybrid systems using post-regions

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)