A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution)
Abstract
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.