7 citations · 27 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 1 cited
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
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.,…
cs.LO2016★ 1 cited
Challenges in Decomposing Encodings of Verification Problems
Peter Schrammel
Modern program verifiers use logic-based encodings of the verification problem that are discharged by a back end reasoning engine. However, instances of such encodings for large pr…