Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus

Dimitar Guelev, Shuling Wang, Naijun Zhan

Deductive methods for the verification of hybrid systems vary on the format of statements in correctness proofs. Building on the example of Hoare triple-based reasoning, we have in…