Ethereum, Klab, Formal Verification, Solidity, Evm.
next? Homework recommendation :) 1. Try to spoil the implementation (for example remove safe math operations) and re-run the proving process to make sure that the proof will fail. 2. Try to write a high-level semantics for the same function, but for the not-yet-covered case, i.e. CALLER_ID == To