Relacy Race Detector is a verifier for relaxed memory models