您要查找的是不是：
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- 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. 面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。
- 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. 摘要模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法，可以弥补测试技术的不足。
- This paper presents a survey to software model checking based on Abstract-verify-refine paradigm, using SLAM at Microsoft and BLAST at UC Berkeley as examples. 本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。
- A scheme of applying technique of conditioning to preprocess a program is proposed to alleviate the problem of state space explosion faced by software model checking. 提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。
- Abstracts: The SAT solver is often considered as the substitute engine for the BDD-based method to solve the space-explosion problem in unbounded model checking. 摘要：近年来，随着SAT引擎的处理问题规模和速度的增大，基于SAT的无界模型检验被广泛的研究。
- Proof-carrying code (PCC) and certifying model checking (CMC) are two established paradigms for obtaining objective confidence in the runtime behavior. of a program. 在一个程序的运行时中获得信任的两个既定模式，分别为证明携码（PCC）和认证模型校验（CMC）。
