@misc{indiciae3f34e3317bbc,
  title = {Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview},
  author = {Norbert Tihanyi and Tamas Bisztray and Mohamed Amine Ferrag and Bilel Cherif and Richard A. Dubniczky and Ridhi Jain and Lucas C. Cordeiro},
  year = {2025},
  url = {https://arxiv.org/abs/2503.10784},
  note = {Source identifier: 2503.10784}
}