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):181-209. https://studies.eigenpub.com/index.php/erst/article/view/89.