Crossmark

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview

Crossref DOI link: https://doi.org/10.1007/978-3-031-99447-0_3

Published Online: 2026-01-22

Published Print: 2026

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Tihanyi, Norbert https://orcid.org/0000-0002-9002-5935
Bisztray, Tamas https://orcid.org/0000-0003-2626-3434
Ferrag, Mohamed Amine https://orcid.org/0000-0002-0632-3172
Cherif, Bilel https://orcid.org/0009-0006-0095-106X
Dubniczky, Richard A. https://orcid.org/0009-0003-3951-1932
Jain, Ridhi https://orcid.org/0000-0002-6102-7114
Cordeiro, Lucas C. https://orcid.org/0000-0002-6235-4272
License Information

Text and Data Mining valid from 2026-01-01

Version of Record valid from 2026-01-01
More Information

Chapter History

First Online: 22 January 2026