审计程序中，哪些程序可以用于验证财务报表数据的准确性？

检查（A）、重新计算（B）和重新执行（C）均能直接验证数据准确性。分析程序（D）主要用于评估财务报表整体合理性，而非直接验证准确性。