验证程序主要包括以下内容：
对危害分析、关键控制点和关键限值的验证：
这是验证程序的基础部分，确保对食品生产过程中的潜在危害进行了充分的识别和控制。
对监控程序和纠正措施的验证：
验证监控措施的有效性，确保其能够准确反映关键控制点的状态，并在必要时采取纠正措施。
对在HACCP体系的建立、实施和改进过程中产生的记录的复核：
复核记录是验证体系运行有效性的重要手段，有助于确认各项活动和措施是否按计划执行。
对整个HACCP体系的验证：
验证整个HACCP体系的有效性，确保其能够持续有效地保障食品的安全卫生。
这些程序共同构成了一个全面的验证体系，旨在确保HACCP体系在食品生产中的有效性和可靠性。