3 ms·
>The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there. Are cars since then required to have formally verified codebases,
by majormajor 11mo ago
>The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.
Are cars since then required to have formally verified codebases, or is "no one could prove [there are no bugs]" still true?
---
Trying to evaluate what happened based on observation of events alone and stats, in absence of a formal proof of issue or non-issue... the cars didn't just disappear overnight so if there was such an issue... where did it go?
- LanceH 11mo agoThat software was never fixed. Those cars were still on the road after the "scandal". The problem went away somehow.
- SV_BubbleTime 11mo agoThis isn’t true. Toyota issued multiple engine controller updates. All mfgs do, all the time. There are no changelogs. It would also matter what their typical car lifecycle is, it could have been just before refresh so only effected a couple years. It could have also been bad floor mats. We’ll never know - but the point is, that their code was so bad you COULD never know.
- LanceH 11mo agoThey also never caught the clowns in the forest stealing children, nor the satanic groups sacrificing babies in the 80's.