OpenMP Program Verification Based on Bounded Model Checking. - Liang Sun; Bailin Lu; Liangze Yin; Zhe Bu; Wenjing Jin 004 (QRS Companion, 2023)