Paidy, P. (2025). A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications. International Journal of Applied Mathematical Research, 14(2), 21-35. https://doi.org/10.14419/yxp00a41