...形式验证工具主要是进行等效性检查和模型检查，而现在形式验证已经运用到了一些崭新领域，半形式验证(semi-formal verification)就是其中之一。
基于12个网页-相关网页
semi-formal verification
半正式的验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动