Виртуальная верификация управляющих программ станков с ЧПУ с использованием прог