Formal Software Verification: How Close Are We?

Gerard J. Holzmann

Published in: FMOODS/FORTE (2010)

Keyphrases

artificial intelligence
formal methods
formal model
neural network
preprocessing
trade off
formal models
real world
machine learning
multiscale
evolutionary algorithm