A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method

Daisuke Ishii

The compositional approach is important for reasoning about large and complex systems. In this work, we address synchronous systems with hierarchical structures, which are often us…