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…