Formally Verified EVM Block-Optimizations.

Elvira Albert Samir Genaim Daniel Kirchner Enrique Martin-Martin

Published in: CAV (3) (2023)

Keyphrases

neural network
image blocks
block size
block matching
block wise
case study
image data
fixed size