There are numerous emerging tools for verifying Rust programs.
Prusti, creusot (deductive-based)
kani (model checker)
hax (extracting Rust code to Coq, F*, etc.)