Unless the tooling makes it trivial - which is still a long, long time away, if possible - I’m not sure there is a world where the increased cost of formal veri

Unless the tooling makes it trivial - which is still a long, long time away, if possible - I’m not sure there is a world where the increased cost of formal verification (mostly in terms of engineers who know what they’re doing) makes sense for things like line of business PHP/node.js websites, internal python apps, bash scripts, etc.