Answers are grounded in this paper and cite their sources.
Concurrent programs are still prone to bugs arising from the subtle interleavings of threads. Traditional static analysis for concurrent programs, such as data-flow analysis and symbolic execution, has to explicitly explore redundant control states, leading to prohibitive computational complexity.
No takes yet. Share an insight, caveat, or question.
Cai et al. (2021) studied this question.