A Usage-Aware Sequent Calculus for Differential Dynamic Logic

Myra Dotzel, Stefan Mitsch, André Platzer

Ensuring that safety-critical applications behave as intended is an important yet challenging task. Modeling languages like differential dynamic logic (dL) have proof calculi capab…