在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Bounded Model Checking

查词链接:https://www.dute.org/dict/bounded_model_checking复制链接
界限模型检测

网络释义
有界模型检测
...辑公式是可满足的,一个可 满足的变量赋值代表系统的一个bug.这类问题的 一个成功应用是有界模型检测(bounded model checking)技术【l J.2)系统设计有效则相应的命题逻 辑公式是可满足的,一个可满足的变量赋值代表系 统的一个可行方案.公式的不可满足意...
有界模型检验方法
...用的硬件形式验证的方法,如基于二 元决策图(BDD)的模型检验方法[1]和基于SAT的 有界模型检验方法(Bounded Model Checking)[2J, 难以用于运算电路的形式验证. 为适应运算电路的特点,Clarke等人对基于二 元决策图的模型检验进行字级(Word Level)扩展...
* 以上查询结果来自于网络,仅供参考。
正在查询...