您要查找的是不是：
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- Select the Secure individual model items independently for this model check box. 选中“单独保护此模型的各项”复选框。
- If you see this message again, clear the Assume linear model check box, and then run the problem again. 如果又一次出现同样信息,请清除“采用线性模型”复选框,然后再运行一次。
- You selected the Assume Linear Model check box in the Solver Options dialog box, but the problem is nonlinear. 选中了“规划求解选项”对话框中的“采用线性模型”复选框,但问题是非线性的。
- When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时,对约束条件的数量没有限制。
- When the Assume Linear Model check box on the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框被选中时,对约束条件的数量没有限制。
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- The experiment result shows model checking for obfuscated binary executable is an effective static analysis method and can check out some obfuscated binary executable. 实验结果表明模型检查迷惑二进制恶意代码是一种有效的静态分析方法，可以检测出一些常用的迷惑恶意代码。
- Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence. 近十年以来，使用模型检查来验证有无某些特性已经成为主流。
- For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
- Edelkamp S,Helmert M.The model checking integrated planning system.AI-Magazine (AIMAG),2001,67-71. 对动作进行置换的含义见第3节中的"定义3.;2";本节是从宏观上介绍本文内容的组织结构
- The key characteristics of MASM are veri ed and validated through the model checking technique. 利用模型检测技术，建立了验证模型关键属性的方法；
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking. 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。
- SAT-based bounded model checking is powerful in bug finding,but it does not support specification with mathematic formula. 而基于SAT的有界模型检验方法虽然能较快地发现反例;但它不支持包含数学公式的系统规范;因而难以用于验证运算电路.
- Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.
- In model checking a new method is proposed on checking whether a system property represented by a computation temperal logic (CTL) formula is vacuity. 摘要在模型检验中建立了一种新方法：检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性。
- When the throughness is not satisfied by the workflow, model checking can give a counterexample which can guide us to correct the workflow. 同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型检查应用中，需要使用线性时态逻辑对软件具备的特性进行描述。
- Semantic-oriented metadata model checking aims to judge whether a metadata model to be constructed is consistent semantically. 面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
