Artificial Intelligence (AI) is becoming increasingly prevalent in daily life, driven by rapid advancements in Machine Learning (ML) since 2010. These ...

The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. This dissertation addresses the research ...