Tooling is getting better. Ever looked at what Amazon does with formal methods to "prove correctness" for some of their systems? Of course you can argue that

Tooling is getting better. Ever looked at what Amazon does with formal methods to "prove correctness" for some of their systems? Of course you can argue that "good enough" for them is "damn near perfect". http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/abstract http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...