The presence of systematic measuring errors complicates track-to-track association, spatially separates the tracks that correspond to the same true target, and
GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the