A Prototype for Data Race Detection in CSeq 3
Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto · Lecture notes in computer science · 2022
Abstract We sketch a sequentialization-based technique for bounded detection of data races under sequential consistency, and summarise the major improvements to our verification framework over the last years.