I think symbolic execution is quite an "academic subject". Things could change as I think symbolic execution would very well fit when analyzing and verifying t

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