A smart contract's formal spec, readable like high-level code, and provably tied to the raw EVM bytecode. That is the new evm-smith experiment. Here is the whole behavioural spec of a WETH contract that an auditor reads: (More and full write-up below)
16
12
136
13,634
Sort replies: Relevant Recent Liked