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.

Cool project! Reminds me of Naivechain, a blockchain in 200 lines of code

https://github.com/lhartikk/naivechain