形式验证 在计算机硬件特别是集成电路和软件系统的设计过程中形式验证的含义是根据某个或某些形式规范或属性使用数学的方法证明其正确性或非正确性