Model-based verification uses a model to reason about the correctness of real system. This requires and system be conformant, such that results on can transfered Especially for hybrid systems, which combine discrete continuous behavior, defining checking conformance is difficult task. In this work, we present reachset systems transfers safety properties from We show how adapted conformant measu...