The following pages link to KeYmaera X (Q56258):
Displaying 14 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- A mechanically verified theory of contracts (Q2119969) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
