Pages that link to "Item:Q1707599"
From MaRDI portal
The following pages link to A complete uniform substitution calculus for differential dynamic logic (Q1707599):
Displaying 19 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Uniform substitution for differential game logic (Q1799081) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- Dynamical properties of logical substitutions (Q2503197) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Parallel composition and modular verification of computer controlled systems in differential dynamic logic (Q6535960) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)
