Unbounded-Thread Program Verification using Thread-State Equations.

Konstantinos Athanasiou Peizun Liu Thomas Wahl

Published in: IJCAR (2016)

Keyphrases

finer granularity
data sets
neural network
learning algorithm
face recognition
lower bound
state space