結果 : program verification in problem solving techniques