Abstract: Solution verification is crucial for establishing the reliability of simulations. A central challenge is to estimate the discretization error accurately and reliably. Many approaches to this estimation are based on the ...