Hassan, T. (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), pp. 47–54. Available at: https://journals.umt.edu.pk/index.php/RAIR/article/view/7784 (Accessed: 25 July 2026).