TY  - RPRT
TI  - Verifying the Rust Standard Library
AU  - Byron Cook
AU  - Remi Delmas
AU  - Zyad Hassan
AU  - Bart Jacobs
AU  - Ranjit Jhala
AU  - Rahul Kumar
AU  - Felipe R. Monteiro
AU  - Thanh Nguyen
AU  - Rebecca Rumbul
AU  - Michael Tautschnig
AU  - Celina Val
AU  - Carolyn Zech
PY  - 2026
DO  - 10.1007/978-3-032-28079-4_19
UR  - https://arxiv.org/abs/2606.17374
ID  - 2606.17374
ER  -