Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures | IEEE Conference Publication | IEEE Xplore