Reputation
Next privilege 5 Rep.
Participate in meta
Badges
0 0 0
Impact
0 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Feb
4
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.