Login / Signup
Concolic Unbounded-Thread Reachability via Loop Summaries.
Peizun Liu
Thomas Wahl
Published in:
ICFEM (2016)
Keyphrases
</>
state space
transitive closure
data sets
decision making
text summarization
real time
machine learning
image processing
case study
data model
video data
feedback loop