@misc{indiciaecc5fff3bfb7e,
  title = {SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification},
  author = {Álvaro F. Silva and Martim Afonso and Nuno Saavedra and Emily First and Alexandra Mendes and João F. Ferreira},
  year = {2026},
  url = {https://arxiv.org/abs/2611.07194},
  note = {Source identifier: 2611.07194}
}