PAIDY, Pavan. A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications. International Journal of Applied Mathematical Research, [S. l.], v. 14, n. 2, p. 21–35, 2025. DOI: 10.14419/yxp00a41. Disponível em: https://mail.sciencepubco.com/index.php/ijamr/article/view/33702.. Acesso em: 16 aug. 2025.