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