Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking - Qadeer, Shaz (arXiv.org)