I am eagerly following https://github.com/flux-rs/flux https://flux-rs.github.io/flux/

They have a development pace very quick and can verify real world Rust code. There's a huge graveyard of Rust verification tools, but I hope this one gets broader usage