2 papers
cs.SE2026
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
Álvaro Silva, Isabel Amaral, João Pascoal Faria +1
Verification-aware languages, like Dafny, integrate formal specifications directly into source code to enable static correctness checks. However, when verification fails, the feedb…
cs.SE2026
Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
João Pascoal Faria, Emanuel Trigo, Vinicius Honorato +1
Recent verification tools aim to make formal verification more accessible to software engineers by automating most of the verification process. However, annotating conventional pro…