KeYmaera X
From MaRDI portal
Software:56258
No author found.
Related Items (14)
A mechanically verified theory of contracts ⋮ Implicit semi-algebraic abstraction for polynomial dynamical systems ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Verification of Hybrid Systems ⋮ KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ The refinement calculus of reactive systems ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ Deductive stability proofs for ordinary differential equations ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Verified interactive computation of definite integrals ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
This page was built for software: KeYmaera X
