Paidy, Pavan. “A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications”. International Journal of Applied Mathematical Research, vol. 14, no. 2, July 2025, pp. 21-35, https://doi.org/10.14419/yxp00a41.