I still think it's absolutely insane that for aviation we require everything to be formally verified, while cars don't have any such thing and can brick themsel

I still think it's absolutely insane that for aviation we require everything to be formally verified, while cars don't have any such thing and can brick themselves via over-the-air updates at any time. And that ignores the even more complex problem of self-driving which is something even aviation, which has a lot less opportunities for external errors, doesn't even try to tackle.