Blockchain, Ethereum, Simulation.
statements about simple propositions) to formulas that involve integers, bit vectors, arrays and others forms of data that commonly occur in programming. A simple way of looking at symbolic analysis is that it can be used to formally specify a hypothesis about a given smart contract, prove that