Fault Tolerance through Invariant Checking for Iterative Solvers | IEEE Conference Publication | IEEE Xplore