Paidy, Pavan. “A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications”. International Journal of Applied Mathematical Research 14, no. 2 (July 18, 2025): 21–35. Accessed December 5, 2025. https://www.sciencepubco.com/index.php/ijamr/article/view/33702.