ERC-20 Verifier is an analysis tool that confirms smart contract adherence to the ERC20 format.
What is ERC-20 Verifier ?
ERC-20 Verifier is an OpenZeppelin tool created to confirm the underlying structure of any smart contract that's verified on Etherscan. Users can scan known smart contracts and be sure that they're verified. Developers can get an overview of the underlying logic of a smart contract, although the tool doesn't go into how the various functions execute.