Showing cs.SEShow all
2 papers · 1 filter
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.SE2025
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
Isabel Amaral, Alexandra Mendes, José Campos
In verification-aware languages, such as Dafny, despite their critical role, specifications are as prone to error as implementations. Flaws in specifications can result in formally…