코덱스는 결과물 검증에 강하다, 시간표 프로그램을 교차 확인한 사례 · DoRms