Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication

Research focus and approach

Concurrent systems with shared variables can behave differently depending on the order in which operations are interleaved. This conference paper introduces a parallel runtime verification framework for monitoring that model of execution. It extends the communication-focused research programme to shared-variable interaction between concurrent components.

An editorial overview. For the original abstract, methodology and results, see the original paper record.