THz communications are highlighted as a key enabling technology for next-generation wireless communication systems in 6G, offering ultra-high data transmission ...

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