验证程序是 用于确定HACCP体系是否按照HACCP计划运作，或者计划是否需要修改以及再被确认生效使用的方法、程序、检测及审核手段。它包括以下内容：
定义
验证是除了监控方法以外，用来确定HACCP体系是否按照HACCP计划运作或者计划是否需要修改以及再被确认生效使用的方法、程序、检测及审核手段。
验证的内容
确认CCP（关键控制点）的验证
监控设备的校正
有针对性的取样检测
CCP记录的复查
系统的验证
审核
最终产品的微生物试验
执法机构的审核
确认
搜集信息进行评估，决定HACCP正常实施时，是否能有效的控制了食品中的安全危害。
此外，验证程序还可以应用于其他领域，例如：
应用程序验证程序 （AppVerifier）：一款运行时验证工具，适用于非托管代码，帮助查找一般应用程序测试技术难以识别的细微编程错误、安全问题和有限用户帐户特权问题。
驱动程序验证程序：使Windows驱动程序经受各种压力和测试以发现不当行为，可以配置要运行的测试，让驱动程序承受沉重的压力负载或经受更精简的测试。
建议在实际应用中，根据具体需求和场景选择合适的验证程序，以确保有效性、可靠性和安全性。