Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.

Kai Stadtmüller Martin Sulzmann Peter Thiemann

Published in: APLAS (2016)

Keyphrases

statistical analysis
neural network
data analysis
quantitative analysis
dynamic analysis
data sets
image processing
multi agent
image analysis
automatic analysis