@misc{indiciae959cc6840475,
  title = {ProofPulse: Interactive Proof Coverage Analysis for Dafny},
  author = {Álvaro F. Silva and Ruben Martins and Alexandra Mendes},
  year = {2026},
  url = {https://arxiv.org/abs/2608.30818},
  note = {Source identifier: 2608.30818}
}