OpenMP Program Verification Based on Bounded Model Checking.

Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin

Browse the full QRS paper archive.