Blockchain, Ethereum, Simulation.
analysis and formal verification in general: Weak performance Difficulty of applying optimization to choose actions Necessity to modify the contract/set-up, in this case for performance: inlining calls, removing deadline considerations and send actions We believe challenges 1–2 can be overcome by