3 ms·
A very big tech company releases software updates that contain bugs for their devices with fruit on them. One would think that they could produce software witho
by SirLuxuryYacht 8y ago
A very big tech company releases software updates that contain bugs for their devices with fruit on them. One would think that they could produce software without major problems, but it happens. One would also think that a very big aerospace company could produce products without significant bugs, but it seems that it unfortunately happens too. Talk about a fatal error.
Thinking about a solution to make their QC more robust brings me back to an article from 11 days ago on fuzzing: https://news.ycombinator.com/item?id=19265377 https://news.ycombinator.com/item?id=19265377
- deleted 8y ago[deleted]
- foobarbazetc 8y agoI think Airbus does a lot of formal proving / verification of their flight software. There was a great article about it which I can’t find anymore, but Google is full of academic papers on it.