Login / Signup
Designer-level verification: an industrial experience story.
Stephen Bergman
Gabor Bobok
Walter Kowalski
Shlomit Koyfman
Shiri Moran
Ziv Nevo
Avigail Orni
Viresh Paruthi
Wolfgang Roesner
Gil Shurek
Vasantha Vuyyuru
Published in:
DATE (2015)
Keyphrases
</>
model checking
higher level
industrial applications
verification method
computer vision
database
data sets
neural network
genetic algorithm
social networks
user interface
temporal logic