This bug might not have, but others would. Formal verification methods still rely on humans to input the formal specification, which is where problems happen.

This bug might not have, but others would. Formal verification methods still rely on humans to input the formal specification, which is where problems happen. As others point out, if they didn't really ship fast, they certainly would not have become profitable, and they would definitely not have captured the market to the extent they have. But really, if the market was more distributed, and Cloudflare commanded 5% of the web as the biggest player, any single outage would have been limited in impact. So it's also about market behaviour: yet "nobody is fired for choosing IBM" as it used to go 40 years ago.