An OpenMP Epoch Model for Correctness Checking | IEEE Conference Publication | IEEE Xplore