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 August 16, 2025. https://mail.sciencepubco.com/index.php/ijamr/article/view/33702.