Machine Learning for model verification