The ability to sense and respond reliably in extreme environments is crucial for advancing technologies in space, aeronautics, automotive, and energy ...

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