Hassan, T., Abrar Ahmed, Mehmood Anwar, Muhammad Basit Ali Gilani, & Sajid Saleem. (2025). Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review. Robotics and Artificial Intelligence Review, 1(2), 47–54. Retrieved from https://journals.umt.edu.pk/index.php/RAIR/article/view/7784