There's a bunch of interesting work happening in the blockchain space around formal verification languages that can compile to smart contracts.

Makes sense - not only do you lose money if you get it wrong but it is very difficult to correct!