Search

Software Reliability Lab
Software Reliability Lab
  • News
  • People
  • Publications
  • Projects
  • Opportunities
  • Contact
Álvaro Silva

Álvaro Silva

PhD Student

FEUP, University of Porto

HASLab, INESC-TEC, Porto

Interests
  • Formal Verification
  • Software Reliability
Education
  • MSc in Electrical and Computers Engineering, 2021

    FEUP, University of Porto

  • BSc in Electronic and Computer Engineering, 2019

    FEUP, University of Porto

Latest

  • DafnyFix: Single-Transformation Automated Repair in Dafny
  • DSpec2Test: Specification-Driven Test Generation in Dafny
  • ProofPulse: Interactive Proof Coverage Analysis for Dafny
  • Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
  • Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
  • Leveraging Large Language Models to Boost Dafny's Developers Productivity

© 2026 Software Reliability Lab. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite
Copy Download