J. Sousa, B. Farias, T. Silva, E. Lima Filho, and L. Cordeiro.
" LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects", in <em>Anais Estendidos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Juiz de Fora/MG, 2023, pp. 17-24, doi: <a href="https://doi.org/10.5753/sbseg_estendido.2023.235802">https://doi.org/10.5753/sbseg_estendido.2023.235802</a>.