A check system aims at checking at least one of a control model in which requested specifications for controlling a target are described and a control program generated based on the control model. The system has a first establishing unit configured to establish a first monitor section at a first location in the one of the control model and the control program. The system has a first identifying unit configured to automatically identify a second location in the other of the control model and the control program to establish a second monitor section at the second location in the other thereof. The second location corresponds to the first location of the first monitor section in the one of the control model and the control program.