Hassan, Taimoor, Abrar Ahmed, Mehmood Anwar, Muhammad Basit Ali Gilani, and 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. https://journals.umt.edu.pk/index.php/RAIR/article/view/7784.