VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
We present VERISMART, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a single flaw can cause huge financial damage. In particular, ensuring that arithmetic operations are safe is one …