1 reputation
bio website
visits member for 4 years, 3 months
seen Mar 15 '13 at 14:31

comment 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.