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