This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 词汇 | Model checking |
| 分类 | 英语词汇 英语翻译词典 |
| 释义 |
Model checking
英语例句库
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages. 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
英语百科
Model checkingIn computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems. |
| 随便看 |
|
依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。