Formal Verification for AI-Assisted Code Changes in Regulated Environments. IJRPETM [Internet]. 2025 Dec. 28 [cited 2026 Mar. 26];8(6):1752-61. Available from: https://ijrpetm.com/index.php/IJRPETM/article/view/430