Home Tags IC3-Ethereum Crypto Boot Camp

Tag: IC3-Ethereum Crypto Boot Camp

KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition

World's First Formal Semantics of Ethereum Virtual Machine Wins IC3-Ethereum Crypto Boot Camp
KEVM, a framework developed by the University of Illinois at Urbana-Champaign (UIUC) with support from IOHK, has won this year's IC3-Ethereum Crypto Boot Camp, a blockchain development event and competition.The team has modeled the world's first complete, fully executable formal semantics of the Ethereum...

Must Read