A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation