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