Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin. OpenMP Program Verification Based on Bounded Model Checking. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 849-850, IEEE, 2023. [doi]
Abstract is missing.