Static analysis: a brief survey

DOI10.1093/JIGPAL/JZW042zbMath1407.68100OpenAlexW2520713552MaRDI QIDQ4644578

Igor L. Santos, Pablo García Bringas, Iván García-Ferreira, Carlos Laorden

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzw042

zbMATH Keywords

model checkingmathematical logicbugsstatic binary code analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Static analysis: a brief survey