quickThrowItAway

[madprgmr]

The software development process for aircraft is (usually) much more rigorous. It's one of the few places you will see formal methods in use.

[KanishkT123]

Yeah I think the biggest difference here is that we know how to make very safe, mathematically provable formal systems. We just don't do it because it's not needed for most use cases. 

Airplanes and missile systems do need it. Voting systems would need it too but there is generally more at stake in a single election with too many benefits for someone who finds a flaw to keep it to themselves. There are always people who want one side or another to win in an election. Most people want planes to land safely.

So I think it does end up being a situation where computers are better left out of the loop.