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-1761. https://doi.org/10.15662/fr7n5y42