Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)

Eduard Kamburjan, Michael Lienhardt

We present a post-region-based verification system for distributed hybrid systems modeled with Hybrid Active Objects. The post-region of a class method is the region of the state s…