Introduction to FEM Verification