173 citations · 655 across the 66 of their papers we have counts for
1 paper · 2 filters
Daniel Kroening, Daniel Poetzl, Peter Schrammel +1
We present a static deadlock analysis approach for C/pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e.,…