Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method tekriwal-2023-verifiedCICM · 2023