Sound static deadlock analysis for C/Pthreads.

Daniel Kroening Daniel Poetzl Peter Schrammel Björn Wachter

Published in: ASE (2016)

Keyphrases

automatic analysis
neural network
machine learning
image processing
cooperative
support vector
data analysis