A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking