Scholar

Álvaro Silva

Google Scholar ID: 24BoIRsAAAAJ

Ph.d candidate, Universidade do Porto

Verificação formalDafny

Google Scholar↗

Citations & Impact

All-time

Citations

16

H-index

1

i10-index

1

Publications

2

Co-authors

2

list available

Contact

No contact links provided.

Publications

2 items

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

Resume (English only)

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