Agreed that static analysis/proof verification only gets you so far. I was just thinking that the visibility of the incident might lead to some companies asking

Agreed that static analysis/proof verification only gets you so far. I was just thinking that the visibility of the incident might lead to some companies asking how they can go even further to make things safer. Of course the first and most important steps consist of what you're saying above, followed by doing whatever they can on the software front if they aren't doing it already.