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)