TY  - RPRT
TI  - Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
AU  - Thales Silva
AU  - Carmina Porto
AU  - Erickson Alves
AU  - Lucas Cordeiro
AU  - Herbert Rocha
PY  - 2021
UR  - https://arxiv.org/abs/2102.02368
ID  - 2102.02368
ER  -