Abstract
Cotton, the backbone of global textile production, demands sustainable agricultural practices to ensure fiber, food, and environmental security. Cotton crop play an essential role in farming economies; however, production is sometimes affected by various diseases that harm production. We proposed a methodology that uses formal modeling and verification for requirements confirmation to improve the monitoring and detection of cotton crop diseases. The correct information and requirements about disease symptoms can improve disease monitoring and prediction. The Temporal Logic of Action (TLA+) is used to construct a mathematical model to verify requirements by providing disease symptoms and then model checking to ensure correctness properties. Using model checking in TLA + ensures the reliability and correctness of disease symptom detection. We consequently used deep learning models to predict cotton diseases, i.e., Aphids, Armyworms, Bacterial Blight, Powdery Mildew, Target Spot, and Healthy leaf. Our results show that the Convolutional Neural Network (CNN) model achieved an overall accuracy of 98.7% with class-specific accuracy ranging from with F1-scores across all classes (e.g., 0.90 for Powdery Mildew and 0.87 for Army Worm).