Numerical computations give approximations to solutions of problems in general. Verified computations yield intervals containing the solutions. The author has established a framework for verified computations of solutions to matrix equations. This manuscript introduces the framework with matrix square roots being an example.