Dynamic Verification with Observational Equivalence of C/C++ Concurrency

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

Program executions under relaxed memory model (rmm) semantics are significantly more difficult to analyze; the rmm semantics result in out of order execution of program events lead…