HASSAN, Taimoor; 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. Robotics and Artificial Intelligence Review, [S. l.], v. 1, n. 2, p. 47–54, 2025. Disponível em: https://journals.umt.edu.pk/index.php/RAIR/article/view/7784. Acesso em: 25 jul. 2026.