A Prototype for Data Race Detection in CSeq 3