Parallel Assertions for Architectures with Weak Memory Models.

Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik

Browse the full ATVA paper archive.