The formal verification researchers I've worked with love Rust, because its type system nails the basics so they can focus on proving more interesting propertie

The formal verification researchers I've worked with love Rust, because its type system nails the basics so they can focus on proving more interesting properties. Rust and formal verification work really well together. You can formally verify properties in a small section of critical code, then use the type and lifetime systems to expand those properties to the whole codebase. It's not an either/or, it's a both/and.