您要查找的是不是：
- parallel model checking 并行模型检测
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- The parallel model of quantal response is alternative while the sample can not meet the reliability standard for quantitative response model. 对准确性要求不太高时，也可首选质反应平行线法，操作相对更简单。
- Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence. 近十年以来，使用模型检查来验证有无某些特性已经成为主流。
- Otherwize, through independent encoding, we offer a new parallel model according to the resolvability of independent variable room. 另外,通过独立编码策略,还提出了一种基于问题解空间分解的并行模型。
- 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. 面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。
- The method maintains the features of UML such as facilitating understanding,customization,guideline for practical application and extension from sequential modeling to parallel modeling. 该建模方法保留了UML易理解、易扩展和易于指导工程实践的特点,便于从串行建模扩展到并行建模。
- 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. 给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
- Model checking is an important method of verifying logic properties of finite state systems, and also a supplement to the shortage of software testing. 摘要模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法，可以弥补测试技术的不足。
