https://www.coinspeaker.com/2017/08/01/iohk-funded-uiuc-project-produces-first-complete-formal-semantics-ethereum-virtual-machine/