Blockchain, Ethereum, Simulation.
Effectiveness. Would our intended model incentivize the desired behaviors? Formal verification can only help with some of the former and little of the latter. A question like “how should we set the fee rate” simply cannot be answered by formal verification. Part 3. A history of formal verification