In component-based development. approaches for property verification exist that avoid building the global system behavior of the component model. Typically. these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. https://jalyttlers.shop/product-category/oven-dish/