@misc{indiciae61ebfdde014c,
  title = {Kani: A Model Checker for Rust},
  author = {Rémi Delmas and Zyad Hassan and Qinheping Hu and Rahul Kumar and Felipe R. Monteiro and Thanh Nguyen and Adrián Palacios and Celina Val and Michael Tautschnig and Justus Adam and Daniel Schwartz-Narbonne and Carolyn Zech},
  year = {2026},
  url = {https://arxiv.org/abs/2607.01504},
  note = {Source identifier: 2607.01504}
}