Defining Race Conditions

Analyze interleaving execution sequences to detect non-deterministic outcomes in shared data structures.