“验算公式”可以翻译为 "verification formula" 或 "checking formula"。
Verification formula 更强调对公式或计算结果的验证过程，常用于数学、工程等领域，确保公式的正确性或计算结果的准确性。
Checking formula 则侧重于对公式的检查或复核，确保其符合特定要求或标准。
在实际应用中，两者可互换使用，具体选择可根据语境和表达习惯来定。