Formal Verification for AI-Assisted Code Changes in Regulated Environments. International Journal of Research Publications in Engineering, Technology and Management (IJRPETM), [S. l.], v. 8, n. 6, p. 1752–1761, 2025. DOI: 10.15662/fr7n5y42. Disponível em: https://ijrpetm.com/index.php/IJRPETM/article/view/430. Acesso em: 26 mar. 2026.