Sound static deadlock analysis for C/Pthreads by Kroening, D, Poetzl, D, Schrammel, P, Wachter, B

“…In our experimental evaluation, we succeeded to prove deadlock-freedom for 292 programs from the Debian GNU/Linux distribution with in total 2.3 MLOC in 4 hours.…”