Álvaro F. Silva

According to our database, Álvaro F. Silva authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.

Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes

CoRR, June, 2025

2024

Leveraging Large Language Models to Boost Dafny's Developers Productivity.

Álvaro F. Silva, Alexandra Mendes, João F. Ferreira

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024