Formalization of Hierarchical Reactive Modules and Compositional Verification Method

Proposing a method to verify hierarchical systems by decomposing them into modules for efficient verification.