Omar Abdelrahman and Salma Naguib (2024) “Modern Strategies for Software Verification Elevating Efficiency Through Innovative Techniques and Best Practices”, Eigenpub Review of Science and Technology , 8(7), pp. 181–209. Available at: https://studies.eigenpub.com/index.php/erst/article/view/89 (Accessed: 18 November 2024).