arXiv 2001-08-25 EN Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking Qadeer, Shaz
