需要先进行参数设置，然后通过加工仿真和示教来校验程序。具体来说，校验程序的步骤如下：1.进行参数设置，包括机床最大速度、加速度、刀具半径等参数的设置。2.进行加工仿真，将程序导入数控系统中，并在系统中进行仿真加工，确认程序是否存在问题。3.进行示教，将程序导入数控系统中，并通过手动操作机床进行示教，确认程序是否存在问题。在示教过程中，需要注意各个轴的位置、速度、方向、切削深度等参数的调整，以确保程序的正确性。总之，校验程序需要考虑各种因素，包括机床参数、刀具尺寸、主轴转速等，需要进行细致的设置和调整，并通过多种方法进行校验，确保程序的正确性和稳定性。