自动验证系统本质上是通过数学等方法，用具有逻辑规则的系统来检验一个验证对象是否满足预先设定的需求或规范等，从而自动地发现验证对象中的错误或者检验验证对象的正确性和准确性。自动验证系统是实现验证自动化的主要手段，是完成逻辑和功能等一致性比较过程的自动化系统。自动验证系统通过算法等手段来检验验证对象，经过输入过程和内部处理过程得到输出结果，证实其是否符合期望规律或者预定的规范等，并给出正确性和非正确性的判断。验证对象的完全正确包含两层含义：一是验证对象是正确的；二是验证对象是终止的。因此，自动验证系统不仅要证明验证对象是正确的，而且也要证明该对象是终止的，这样综合起来就证明了验证对象是完全正确的。理论上，自动验证系统完全能够从算法上穷尽检查所有可能的输入值，遍历所有可能的情况。因为验证过程不受人为主观因素的影响，所以自动验证系统给出的检验结果更为客观、可信。

自动验证系统实现全自动检验，执行效率高，可以缩短超大规模设计等应用所耗费的时间，减少不必要的投入。当经过比对，确认验证对象的功能、性能等内容与需求一致后，就可以着手进行下一步工作；否则，可根据验证结果对验证对象进行相应修改，之后再次进入自动验证系统验证其正确性。如此反复，直至验证对象通过验证。如此，在无人为主观因素影响的情况下，自动验证系统可在设计时就能证明验证对象的正确性和合理性，或者及时发现该对象中的错误，促使其按照预定需求进行，最终推动整体进程的持续、稳定进行。随着计算机软件技术、硬件技术的快速发展，自动验证系统执行验证的速度越来越快，验证方法越来越丰富，其应用于超大规模设计等领域的优势越发明显。