Symbolic consistency checking of OpenMp parallel programs. - Fang Yu 001; Shun-Ching Yang; Farn Wang; Guan-Cheng Chen; Che-Chang Chan (LCTES, 2012)