Formal Methods
Current software safety techniques are at least one order of magnitude too time consuming
- Too expensive and hurts time to market
The new lingua franca of programming (C++) is about the worst possible environment for formalizing analysis
Opinion: I see no ray of hope here