Programming and program verification for robots that perform machining tasks

Abstract

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.