Kainat Fatima, Sidra Sultana, Jawad Ali Abbasi and Muhammad Talha Khalid 2022. The Modeling and Verification of Trainify: (Tennis App). International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence. 1, 2 (Sep. 2022), 26–34. DOI:https://doi.org/10.54938/ijemdcsai.2022.01.2.89.