形式验证
【词语拼音】xíng shì yàn zhèng
【词语繁体】形式驗證
【词语结构】ABCD式词语
【词语字数】四字词语
【网络解释】
所谓形式验证，是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。
证据形式认证形式证验验证形证极验验证验证试验形式形式证据制度验证集验证者验证码验证机验证度验证性实验验证身份证实验式经验式带证式形式化形式美迹形式走形式形式感零形式身份验证协议验证局部验证审计验证不可验证数据验证自我验证协同验证功能验证温度验证表单验证诸证集验能力验证先验论证重复验证产品验证短信验证模型验证证言实验验资证明安全验证工程验证现场验证工艺验证交叉验证模拟验证概念验证物证检验程序验证设计验证通过验证验证身份验证对比实验人形经验公式验货方式型式试验美式权证要式证券欧式权证蝶式权证论证方式略式保证形式逻辑动作形式形式科学逻辑形式工资形式等价形式美学形式股权形式货币形式形式语言移动形式封装形式民族形式书面形式形式发票形式思维形式主义国画形式形式系统伴随形式空间形式艺术形式形式教育贸易形式指标形式生命形式形式语法就学形式