Nayef H. Alshammari

Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication

The paper introduces a comprehensive framework for parallel runtime verification designed to monitor concurrent systems that utilise shared-variable communication mechanisms operating under interleaved concurrency model. The proposed framework validates system behaviour during execution to confirm adherence to correctn...