KEVM, a framework developed by the University of Illinois at Urbana-Champaign 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 Virtual Machine (EVM), and produced the KEVM framework, which allows for formal execution, analysis, and verification of EVM smart contracts. The award was presented by CSL Assistant Professor Andrew Miller, IC3 Associate Director. 

Read full article: