Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. - Thales Silva; Carmina Porto; Erickson H. da S. Alves; Lucas C. Cordeiro; Herbert Rocha (CoRR, 2021)

Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. - Janislley Oliveira de Sousa; Bruno Carvalho de Farias; Thales Araujo da Silva; Eddie Batista de Lima Filho; Lucas C. Cordeiro (CoRR, 2023)