"Sound static deadlock analysis for C/Pthreads."

Daniel Kroening et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics