Paidy, Pavan. 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.