Blockchain, Ethereum, Simulation.
broader incentive simulations: Model verification. Verify a simplified simulation model Model extraction. Help extract a model automatically from code by validating actions State suggestion. Supply the simulation with novel or extreme starting states Local optimization. Verify assumptions about