Race Condition Identification

Detect data races in shared memory architectures using static analysis and runtime verification tools.