A Verification Method of Invalid Cells of State Transition Matrices