您要查找的是不是:
- Program model checking 程序模型检查
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- program model check 程序模型检测
- 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. 提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。
- 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)。
- The object oriented program model is very expansible. 面向对象的编程模式具有很好的扩展性。
- Why a component-based programming model? 为什么需要基于组件的编程模型?
- What Is the MFC Data Access Programming Model? 什么是MFC数据库访问编程模型?
- What Is the MFC Database Programming Model? 什么是MFC数据库编程模型?
- The programming model of DTP on J2EE is presented. 提出了基于J2EE分布事务处理编程模型。
- 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. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- What are potential barriers to growth? How will these barriers affect the program model or the speed at which we grow? 什么是成长潜在的障碍?这些障碍怎么影响项目的运营模式或者增长的速度?
- The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking. 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。
- The integer program model of minimal spanning tree was built up by the concepts of root and level of node in LINGO. 求解最小生成树的方法虽然很多,但是利用LINGO建立相应的整数规划模型是一种新的尝试。
- SDO is one cornerstone of the IBM SOA programming model. SDO是IBM SOA程式设计模式的基础。
- SAT-based bounded model checking is powerful in bug finding,but it does not support specification with mathematic formula. 而基于SAT的有界模型检验方法虽然能较快地发现反例;但它不支持包含数学公式的系统规范;因而难以用于验证运算电路.