Pages that link to "Item:Q1722644"
From MaRDI portal
The following pages link to The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644):
Displaying 4 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← 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)