Am fi morți fără Rust și verificare formală