Estaríamos muertos sin Rust y la verificación formal