ERC-20 Properties For Formal Verification
ID: 7746b804-b7b6-50e4-9382-c029c034881e
STIX ID: report--7746b804-b7b6-50e4-9382-c029c034881e
Feed Name: CertiK Blog
This document is a formal technical specification and verification report for an ERC‑20 smart contract: it declares modeling assumptions (e.g., non-deterministic initialization, modular arithmetic modeling), defines temporal predicates (started, willSucceed, finished, reverted) and lists precise LTL properties covering correctness, failure modes, and state-change constraints for transfer, transferFrom, approve, allowance, balanceOf, and totalSupply functions.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.