TY  - RPRT
TI  - Crux, a Precise Verifier for Rust and Other Languages
AU  - Stuart Pernsteiner
AU  - Iavor S. Diatchki
AU  - Robert Dockins
AU  - Mike Dodds
AU  - Joe Hendrix
AU  - Tristan Ravich
AU  - Patrick Redmond
AU  - Ryan Scott
AU  - Aaron Tomb
PY  - 2024
UR  - https://arxiv.org/abs/2410.18280
ID  - 2410.18280
ER  -