The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. In general. an SAS is much difficult to specify and verify. https://jalyttlers.shop/product-category/brownie-tray/