TY  - RPRT
TI  - Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
AU  - Norbert Tihanyi
AU  - Tamas Bisztray
AU  - Mohamed Amine Ferrag
AU  - Bilel Cherif
AU  - Richard A. Dubniczky
AU  - Ridhi Jain
AU  - Lucas C. Cordeiro
PY  - 2025
UR  - https://arxiv.org/abs/2503.10784
ID  - 2503.10784
ER  -