Abstract: The problem of shadowing numerically generated trajectories is discussed. The shadowing theorem and the algorithm for verifying its assumptions are presented. This algorithm is used to prove the existence of a shadow for chaotic trajectory of Henon map.