Login / Signup
Carmina Porto
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Dos Attacks
Penetration Testing
Model Checking
Complex Software Systems
Top Venues
CoRR
</>
Publications
</>
Thales Silva
,
Carmina Porto
,
Erickson H. da S. Alves
,
Lucas C. Cordeiro
,
Herbert Rocha
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.
CoRR
(2021)