Hello..
NP-hard problem means there is no known algorithm can solve it in a
polynomial time, so that the time to find a solution grows exponentially
with problem size. Although it has not been definitively proven that,
there is no polynomial algorithm for solving NP-hard problems, many
eminent mathematicians have tried and failed.
Race condition detection is NP-hard
Read more here:
https://pages.mtu.edu/~shene/NSF-3/e-Book/RACE/difficult.html
Thank you,
Amine Moulay Ramdane.