检验数控程序可以采用以下几种软件：
数控仿真软件：
这类软件可以模拟数控机床的运行过程，通过输入数控编程代码，可以实时地查看机床的运动轨迹、加工效果等。常见的数控仿真软件有Mastercam、GibbsCAM、EdgeCAM、VERICUT、NCSimul等。
编辑器软件：
编写数控编程代码时，需要使用专门的编辑器软件，常见的有Notepad++、Sublime Text、Visual Studio Code等。这些软件具有代码高亮、自动补全、代码折叠等功能，可以提高编码效率并减少错误。
数控编程验证软件：
这类软件可以对编写的数控编程代码进行语法检查、逻辑分析等，以确保代码的正确性和可靠性。常见的数控编程验证软件有VERICUT、NCSIMUL等。
数控编程检测软件：
这类软件可以对数控编程代码进行全面的检测，包括刀具路径的合理性、切削参数的合理性、工件固定的可行性等。常见的数控编程检测软件有DELCAM、CGTech等。
G-Code校验软件：
G-Code是数控车编程中最常用的指令语言，因此G-Code校验软件是必备的工具。它可以对G-Code程序进行语法检查和逻辑校验，确保程序没有语法错误和逻辑错误。一些常见的G-Code校验软件包括NCPlot、G-Zero、G-Wizard等。
在线检测软件：
数控在线检测软件是指在数控加工过程中，通过连接到数控机床的检测设备，实时监测和测量工件的尺寸、位置和形状等关键参数的软件系统。它是数控加工中的重要组成部分，为实现自动化检测和加工提供了技术支持。
建议根据具体需求和预算选择合适的软件进行数控程序的检验，以确保编程的正确性和可靠性。