Toward Secure Smart Homes: Integrating Blockchain, AI-based Anomaly Detection, and Formal Verification,