Define "winter". Is it defined by funding, or by real-world results?

If funding, then maybe. You point to some promising signs.

If real world results, then it may thaw... slightly. Formal methods are not going to become very mainstream, though, unless they scale linearly with code base size. Real world code bases are too big for anything else.