Publications

Valentina Wu, Alexandra Mendes, Alexandre Abreu (2025). Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. In SEFM 2025.

PDF Code

Carolina Carreira, Álvaro Silva, Alexandre Abreu, Alexandra Mendes (2025). Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. In SEFM 2025.

PDF

Francisco Oliveira, Alexandra Mendes, Carolina Carreira (2025). What Challenges do Developer Face when using Verification-Aware Languages?. In ISSRE 2025.

PDF