Is Verification Getting Too Complex?

Published in: Haifa Verification Conference (2008)

Keyphrases

formal verification
neural network
decision trees
complex systems
machine learning
computer vision
high level
bayesian networks
wide range
cooperative
user interface
model checking
concurrent systems