Pages that link to "Item:Q3454116"
From MaRDI portal
The following pages link to A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116):
Displaying 8 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Dynamical properties of logical substitutions (Q2503197) (← links)
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693) (← links)
- A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Differential Game Logic (Q5277902) (← links)