Artifact of the Paper "Formally Verified EVM Block-Optimizations"

Albert, ElviraElviraAlbertGenaim, SamirSamirGenaimKirchner, DanielDanielKirchner0000-0001-9229-1148Martin-Martin, EnriqueEnriqueMartin-Martin2025-09-082025-09-082023https://fis.uni-bamberg.de/handle/uniba/110285engArtifact of the Paper "Formally Verified EVM Block-Optimizations"other10.5281/zenodo.7858277