The paper presents the programming and program verification of industrial robots that perform machining tasks. The paper considers the different methods for robot programming and the possibilities for configuring virtual robots for machining simulation and program verification for such tasks.