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