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
Principais Insights Extraídos De
by Daisuke Ishi... às arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.10919.pdfPerguntas Mais Profundas