Sousa, Janislley, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, and Lucas Carvalho Cordeiro.
" LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects." <em>Companion Proceedings of the 23rd Brazilian Symposium on Information and Computational Systems Security,
Juiz de Fora/MG, 2023</em>. SBC, 2023,  
pp.17-24.