Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction

Thales Silva, Carmina Porto, Erickson Alves +2

Computer-based systems have been used to solve several domain problems, such as industrial, military, education, and wearable. Those systems need high-quality software to guarantee…