KeYmaera X
From MaRDI portal
Software:56258
swMATH40558MaRDI QIDQ56258FDOQ56258
Author name not available (Why is that?)
Cited In (14)
- 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
- Deductive stability proofs for ordinary differential equations
- A complete uniform substitution calculus for differential dynamic logic
- Pegasus: sound continuous invariant generation
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Verification of Hybrid Systems
- A mechanically verified theory of contracts
- Verified interactive computation of definite integrals
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: KeYmaera X
