Paidy P. A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications. IJAMR [Internet]. 2025 Jul. 18 [cited 2025 Aug. 16];14(2):21-35. Available from: https://mail.sciencepubco.com/index.php/ijamr/article/view/33702