Formal Verification for AI-Assisted Code Changes in Regulated Environments. IJRPETM. 2025;8(6):1752-1761. doi:10.15662/fr7n5y42