SAT-based bounded model checking is powerful in bug finding,but it does not support specification with mathematic formula.
英
美
释义
而基于SAT的有界模型检验方法虽然能较快地发现反例;但它不支持包含数学公式的系统规范;因而难以用于验证运算电路.
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载