Bellerophon
From MaRDI portal
Cited in
(26)- 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
- Kleene Algebras with Domain
- Program Construction and Verification Components Based on Kleene Algebra
- Transformer Semantics
- Quantales
- Kleene Algebra
- Ordinary Differential Equations
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
This page was built for software: Bellerophon
