“Formal Verification for AI-Assisted Code Changes in Regulated Environments” (2025) International Journal of Research Publications in Engineering, Technology and Management (IJRPETM), 8(6), pp. 1752–1761. doi:10.15662/fr7n5y42.