Estaríamos mortos sem a Rust e a verificação formal