Symbolic consistency checking of OpenMp parallel programs.

Sun, 01 Jan 2012 00:00:00 +0100

Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan:
Symbolic consistency checking of OpenMp parallel programs. LCTES 2012: 139-148