The following pages link to Jonathan Julián Huerta y Munive (Q832720):
Displayed 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)
- VeriMon: a formally verified monitoring tool (Q6109465) (← links)