Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

We investigate the problem of runtime analysis of C11 programs under Multi-Copy-Atomic semantics (MCA). Under MCA, one can analyze program outcomes solely through interleaving and…