Cited in
(50)- An axiomatic approach to existence and liveness for differential equations
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- The refinement calculus of reactive systems
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Rigorous simulation-based analysis of linear hybrid systems
- Deductive stability proofs for ordinary differential equations
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- A complete uniform substitution calculus for differential dynamic logic
- Pegasus: sound continuous invariant generation
- MetiTarski
- KeYmaera
- SMV
- Orbital library
- ClawZ
- HSolver
- SpaceEx
- BACH
- Averist
- Flow*
- ERODE
- LySHA
- SL2SX
- SPHIN
- Stabhyli
- Bellerophon
- ModelPlex
- JuliaReach
- Ordinary Differential Equations
- PEORL
- VeriPhy
- Algebraic_VCs
- Differential_Game_Logic
- Kleene Algebra
- KAD
- Polynomials
- HybridSystemsLab
- Imandra
- PRECiSA
- CAPD DynSys
- A mechanically verified theory of contracts
- Verification of Hybrid Systems
- Verified interactive computation of definite integrals
- Quantales
- Transformer semantics
- Safety Gym
- HolPy
- jsCoq
- Q#
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: KeYmaera X
