High Performance Dynamic Threading Analysis for Hybrid Applications

Unknown English OPEN
Mößbauer, Felix;

Verifying the correctness of multithreaded programs is a challenging task due to errors that occur sporadically. Testing, the most important verification method for decades, has proven to be ineffective in this context. On the other hand, data race detectors are very su... View more
Share - Bookmark