Bellerophon

swMATH23943MaRDI QIDQ35704FDOQ35704

Author name not available (Why is that?)

Described by source

• Bellerophon: tactical theorem proving for hybrid systems

Cited In (4)

• An axiomatic approach to existence and liveness for differential equations
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Deductive stability proofs for ordinary differential equations
• Pegasus: sound continuous invariant generation

This page was built for software: Bellerophon