|visits||member for||4 years, 3 months|
|seen||Mar 15 '13 at 14:31|
Why isn't software as reliable as a car?
Because most software is implemented in languages designed in 1970's that don't have any kind of verifiability without a large amount of effort. Ada and derivatives are used in aviation quite a bit as well as specifications and formal proofs. Software can be as reliable, it's just the tools aren't there to make it easy.