Verifying sequential consistency on shared-memory multiprocessors by model checking | IEEE Journals & Magazine | IEEE Xplore