GitHub repository: runtimeverification/erc_20_formal_verification
Primary language: Python
Created: 2018-07-10T18:45:16Z
Description: Formal verification using KEVM of ERC20 tokens