Saremmo morti senza Rust e verifica formale