3 citations · 3 across the 1 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Complete Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This article presents a relatively complete proof calculus for the dynamic logic of communicating hybrid programs dLCHP. Beyond hybrid systems, communicating hybrid programs not on…
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…
cs.LO2023
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This paper introduces a uniform substitution calculus for , the dynamic logic of communicating hybrid programs. Uniform substitution enables parsimonious pr…