Relacy Race Detector

Contact owners and managers
1–30 of 71
Relacy is synchronization algorithm verifier that evaluates different thread interleavings and catches data races.
http://www.1024cores.net/home/relacy-race-detector