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>Companion Proceedings of the 23rd Brazilian Symposium on Information and Computational Systems Security</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>.