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