A deductive refinement calculus for differential-algebraic programs

DOI10.1007/978-3-032-32592-1_16MaRDI QIDQ7411311zbMATH OpenFDO

Authors Jonathan Hellwig, Long Qian, André Platzer

Publication date 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-32592-1_16

zbMATH Keywords

differential dynamic logicdifferential-algebraic equationsindex reduction

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A complete uniform substitution calculus for differential dynamic logic
• A real-analytic approach to differential-algebraic dynamic logic
• A simple structural analysis method for DAEs
• Axiomatization of compact initial value problems: open properties
• Differential dynamic logic for hybrid systems
• Differential equation invariance axiomatization
• Differential Refinement Logic
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Differential-Algebraic Equation Index Transformations
• scientific article; zbMATH DE number 1254247 (Why is no real title available?)
• scientific article; zbMATH DE number 1979252 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Logical foundations of cyber-physical systems
• Structural analysis of multi-mode DAE systems
• The Complete Proof Theory of Hybrid Systems
• The Consistent Initialization of Differential-Algebraic Systems
• Uniform substitution for differential refinement logic

This page was built for publication: A deductive refinement calculus for differential-algebraic programs

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