Hevm, a Fast Symbolic Execution Framework for EVM Bytecode. - Dxo; Mate Soos; Zoe Paraskevopoulou; Martin Lundfall; Mikael Brockman (CAV (1), 2024)