Formally Verified ERC20 Token Contracts

This directory contains ERC20 token contracts that have been formally verified by Runtime Verification and/or collaborators.

Refer to the main README file for more details and the complete list of formally verified smart contracts.

List of Verified ERC20 Token Contracts

2018-03-12 DappSys DSToken ERC20 token contract
2018-01-30 MyKidsEducationToken ERC20 token contract
2018-01-26 OpenZeppelin ERC20 token contract
2018-01-16 HackerGold (HKG) ERC20 token contract
2017-12-23 Philip Daian's Vyper ERC20 token contract

Resources

Disclaimer