EVM Bytecode Formal Verification

[expede]

Why This is Interesting

Bytecode verification is useful but difficult, especially given some of the design choices present in the EVM

Link to Paper(s)

• A Formal Verification Tool for Ethereum VM Bytecode