Omar Abdelrahman and Salma Naguib, “Modern Strategies for Software Verification Elevating Efficiency Through Innovative Techniques and Best Practices”, ERST, vol. 8, no. 7, pp. 181–209, Jul. 2024.