이 논문은 하이브리드 시스템의 통신 및 병렬 처리를 효과적으로 모델링하고 검증할 수 있는 일반화된 하이브리드 Hoare 논리를 제안한다. 이 논리는 기존 하이브리드 Hoare 논리보다 단순하고 강력하며, 연속적 및 이산적 상대 완전성을 가진다.
