Bellerophon

swMATH23943MaRDI QIDQ35704FDOQ35704

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-66107-0_14

Described by source

• Bellerophon: tactical theorem proving for hybrid systems

Cited In (19)

• An axiomatic approach to existence and liveness for differential equations
• Quantales
• Transformer semantics
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Deductive stability proofs for ordinary differential equations
• Pegasus: sound continuous invariant generation
• MetaPRL
• Averist
• LySHA
• Stabhyli
• ModelPlex
• Ordinary Differential Equations
• PEORL
• VeriPhy
• Algebraic_VCs
• Kleene Algebra
• KAD
• KeYmaera X
• Safety Gym

This page was built for software: Bellerophon