The content discusses the formalization of hierarchical reactive modules based on the theory of reactive modules. It introduces a compositional verification method that divides hierarchical systems into modules to verify each part separately. The proposed method aims to efficiently handle circular structures in system descriptions, particularly suitable for cyber-physical systems modeling. Experimental results demonstrate the effectiveness of the approach in verifying complex systems with circular hierarchies.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Daisuke Ishi... lúc arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.10919.pdfYêu cầu sâu hơn