Based on the interval theory,the verification for a solution of matrix operator equation is studied. We propose the algorithm which outputs an approximate solution and its error bound with the property that an exact solution exists within computed bounds.