形式验证维基百科,自由的 encyclopedia 在计算机硬件(特别是集成电路)和软件系统的设计过程中,形式验证的含义是根据某个或某些形式规范或属性,使用数学的方法证明其正确性或非正确性。 此条目没有列出任何参考或来源。 (2014年1月12日)