“Formal Verification for AI-Assisted Code Changes in Regulated Environments”, IJRPETM, vol. 8, no. 6, pp. 1752–1761, Dec. 2025, doi: 10.15662/fr7n5y42.