A Max-SMT Superoptimizer for EVM handling Memory and Storage.

Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Albert Rubio

Browse the full TACAS paper archive.