TY  - RPRT
TI  - Kani: A Model Checker for Rust
AU  - Rémi Delmas
AU  - Zyad Hassan
AU  - Qinheping Hu
AU  - Rahul Kumar
AU  - Felipe R. Monteiro
AU  - Thanh Nguyen
AU  - Adrián Palacios
AU  - Celina Val
AU  - Michael Tautschnig
AU  - Justus Adam
AU  - Daniel Schwartz-Narbonne
AU  - Carolyn Zech
PY  - 2026
UR  - https://arxiv.org/abs/2607.01504
ID  - 2607.01504
ER  -