Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed

DOI10.1007/978-3-031-37703-7_13zbMath1545.68075MaRDI QIDQ6535538

Paul D. Hovland, Wenhao Wu, Stephen F. Siegel, Jan Hückelheim, Ziqing Luo

Publication date: 12 January 2024

zbMATH Keywords

model checkingOpenMPdata race

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed