Data race detection
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Concurrency analysis
program-analysis
- Data race detectionHappens-before vector clocksstandardprogram-analysis
- Data race detectionLockset analysisspecialistprogram-analysis