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
- Rigorous simulation-based analysis of linear hybrid systems
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- Deductive stability proofs for ordinary differential equations
- A complete uniform substitution calculus for differential dynamic logic
- Pegasus: sound continuous invariant generation
- Verification of Hybrid Systems
- A mechanically verified theory of contracts
- Verified interactive computation of definite integrals
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: KeYmaera X
