Login / Signup
Sound Static Deadlock Analysis for C/Pthreads (Extended Version).
Daniel Kroening
Daniel Poetzl
Peter Schrammel
Björn Wachter
Published in:
CoRR (2016)
Keyphrases
</>
data mining
dynamic analysis
high level
static analysis
real time
databases
decision making
case study
three dimensional
objective function
digital libraries
data analysis
feature space
expert systems