Bellerophon

MaRDI QIDQ35704swMATHFDO

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

(20)

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

This page was built for software: Bellerophon