Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.

Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman

Browse the full CAV paper archive.