词语形式验证的详细解释,形式验证的拼音及基本释义

形式验证

【词语拼音】xíng shì yàn zhèng

【词语繁体】形式驗證

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。