Relacy Race Detector is a verifier for relaxed memory models

(1024cores.net)

1 points | by tanelpoder 2 days ago

No comments yet.