Enhancing Model Checking in Verification by AI Techniques