Tactics for the Dafny Program Verifier
Abstract elided by the publisher.
Related papers
- Velvet: A Foundational Multi-modal Verifier for Imperative Programs in Lean CAV 2026
- Verified VCG and Verified Compiler for Dafny CPP 2026
- Embedding Quantum Program Verification into Dafny OOPSLA 2025
- DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs POPL 2026
- Better Counterexamples for Dafny TACAS 2022
- Trigger Selection Strategies to Stabilize Program Verifiers CAV 2016
- Qafny: A Quantum-Program Verifier ECOOP 2024
- Practical Tactics for Verifying C Programs in Coq CPP 2015