Blockchain, Ethereum, Simulation.
sub-calls and external calls and focus on the exchange logic: Removed internal and external sub-calls, inlining internal calls and modeling ERC20 account holdings internally within the contract Removed send actions Removed deadline constraint for timestamps The role of symbolic analysis in