The following pages link to Differential Refinement Logic (Q4635909):
Displaying 6 items.
- Differential constraints, recursion operators, and logical integrability (Q1380919) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Simpler reasoning about system properties: a proof-by-refinement technique (Q2863829) (← links)
- Logical Difference Computation with CEX2.5 (Q2908508) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)