题目
更新时间:2024-11-24 14:45:32
求解答,词语形式验证是什么意思?再说说形式验证有什么含义?答案
形式验证的词语属性
拼音xíng shì yàn zhèng
拼音字母xing shi yan zheng
拼音首字母xsyz
形式验证的百科含义
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。