Neural Model Checking