Unifying Weak Memory Verification Using Potentials.

Lara Bargmann, Brijesh Dongol, Heike Wehrheim

Browse the full FM paper archive.