31 citations · 81 across the 29 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
We present simple new Hoare logics and refinement calculi for hybrid systems in the style of differential dynamic logic. (Refinement) Kleene algebra with tests is used for reasonin…
cs.LO2019★ 5 cited
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL
Jonathan Julián Huerta y Munive, Georg Struth
We present a semantic framework for the deductive verification of hybrid systems with Isabelle/HOL. It supports reasoning about the temporal evolutions of hybrid programs in the st…