Skip to main content

Sound Static Deadlock Analysis for C/Pthreads

Daniel Kroening‚ Daniel Poetzl‚ Peter Schrammel and Björn Wachter

Book Title
ASE
Year
2016