Detecting Race Conditions in Parallel Programs that Use Semaphores (2002)
Klein, Philip N., Lu, Hsueh-I, Netzer, Rob H. B.
We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race conditions in programs that use...