Scholar
Álvaro Silva
Google Scholar ID: 24BoIRsAAAAJ
Ph.d candidate, Universidade do Porto
Verificação formal
Dafny
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
16
H-index
1
i10-index
1
Publications
2
Co-authors
2
list available
Publications
3 items
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
2026
Cited
0
Inferring multiple helper Dafny assertions with LLMs
2025
Cited
0
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
2025
Cited
0
Co-authors
2 total
Alexandra Mendes
Faculty of Engineering, University of Porto and HASLab, INESC TEC
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
