Bellerophon
From MaRDI portal
Software:35704
No author found.
Related Items (4)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Pegasus: sound continuous invariant generation ⋮ Deductive stability proofs for ordinary differential equations ⋮ An axiomatic approach to existence and liveness for differential equations
This page was built for software: Bellerophon
