most citedDynamic Logic of Communicating Hybrid Programs

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2023★ 3 cited

Dynamic Logic of Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch, André Platzer

This paper presents a dynamic logic for compositional deductive verification of communicating hybrid programs (CHPs). CHPs go beyond the traditional mixed…