Formal Verification and Deep Learning for Smart Farming: A Robust Framework for Cotton Crop Monitoring (VFAST Transactions on Software Engineering, 2026)