Blockchain, Ethereum, Simulation.
non-determinism Modular representations of common data Binary typing at EVM level Advanced concretization Excerpt from our SSA representation This was the performance for each function/action: [All times measured on a MacBook Air 2013, i7 8GB] ╔═════════════════════╦═══════════════╦═══════════════╗