Matrices for ODEs
From MaRDI portal
- Affine systems of ODEs in Isabelle/HOL for hybrid-program verification
- Building program construction and verification tools from algebraic principles
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Logical analysis of hybrid systems. Proving theorems for complex dynamics.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
This page was built for software: Matrices for ODEs
