Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Enguerrand Prebet, André Platzer
Cyber-physical systems are inherently complex due to their connection between software and the physical world. Iterative design reduces their complexity, but increases the need to…
cs.LO2024
Uniform Substitution for Differential Refinement Logic
Enguerrand Prebet, André Platzer
This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneousl…