您要查找的是不是：
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- The Spell Check tool also performs contextual spelling analysis. “拼写检查”工具也执行上下文拼写分析。
- The accessibility checking tool is not available in Visual Web Developer Express edition. Visual Web Developer速成版中未提供可访问性检查工具。
- 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 Spell Check tool analyzes query terms and offers suggestions for alternative spellings. “拼写检查”工具分析查询条件,并提供可供选择的拼写。
- 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. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.
- The Spell Check tool recognizes that the word "rynk" is used in the context of "skating", and offers skating rink (rather than rink, rank, or hockey rink). “拼写检查”工具检查到在"skating"上下文中使用了词语"rynk",并提供skating rink(而不是rink、rank或hockey rink)。
- 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. 面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。
- This paper presents a common method of verifying the winning strategy of games with symbolic model checking，and gives a case study of Tic-Tac-Toe. 给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
- You can run the MTA Check tool manually, but it also runs automatically when the Microsoft Exchange MTA Stacks service determines that the MTA was previously shut down incorrectly. 您可以手动运行MTA检查工具,但当Microsoft Exchange MTA Stacks服务确定MTA先前被不正确关闭时,该工具也可以自动运行。
