Uniform Substitution for Differential Refinement Logic

Enguerrand Prebet, André Platzer

This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneousl…