أرسل هذا في رسالة قصيرة: Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking