Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.