Venue. Correctness IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) · Workshop 2022 Towards Verified Rounding Error Analysis for Stationary Iterative Methods kellison-2022-towardsCorrectness · 2022 DOI