The following pages link to Jonathan Julián Huerta y Munive (Q832720):
Displaying 5 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Verifying hybrid systems with modal Kleene algebra (Q1617825) (← links)
- Affine systems of ODEs in Isabelle/HOL for hybrid-program verification (Q2038037) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)