TY  - RPRT
TI  - SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification
AU  - Álvaro F. Silva
AU  - Martim Afonso
AU  - Nuno Saavedra
AU  - Emily First
AU  - Alexandra Mendes
AU  - João F. Ferreira
PY  - 2026
UR  - https://arxiv.org/abs/2611.07194
ID  - 2611.07194
ER  -