Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST | IEEE Conference Publication | IEEE Xplore