結果 : program verification methods