“Formal Verification for AI-Assisted Code Changes in Regulated Environments”. International Journal of Research Publications in Engineering, Technology and Management (IJRPETM) 8, no. 6 (December 28, 2025): 1752–1761. Accessed March 26, 2026. https://ijrpetm.com/index.php/IJRPETM/article/view/430.