Hassan T, Abrar Ahmed, Mehmood Anwar, Muhammad Basit Ali Gilani, Sajid Saleem. Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review. RAIR [Internet]. 2025 Dec. 3 [cited 2026 Jul. 25];1(2):47-54. Available from: https://journals.umt.edu.pk/index.php/RAIR/article/view/7784