smart contract analysis tools

KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition

KEVM, a framework developed by the University of Illinois at Urbana-Champaign (UIUC) with support from IOHK, has won this year’s…