To verify, you have to think through the problem and arrive at a solution, like all of programming.