Blockchain, Ethereum, Simulation.
financial outcomes of a smart contract, formal verification is insufficient. Agent-based simulation allows a set of simulated agents to interact with a contract. Our goal was to apply formal verification technology to automatically discover valid contract actions on a Uniswap exchange and analyze a