TL;DR but I think the future is verified correct programming. It's been around a while but been too hard to do right, or do fast. I think though that the needs for greater security and correctness will reassert themselves.