时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
然后使用模型检查来检验一个程序是否有某个给定特性。
Model checking is then used to check whether a program has a given property.
近十年以来，使用模型检查来验证有无某些特性已经成为主流。
Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
It can be used in place of the detailed model when building environmental model or checking global property to improve the efficiency of model checking .
在迭代测试中，我们因此根据处于不同环境中的客户来同时确定商业使用模型检查和系统测试活动的时间进度。
In iterative testing, we therefore schedule both business usage model reviews and system testing activities with customers whose environments differ.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
其他几个人检查了说明书，并根据提供的模型计划制作了一些东西。
Several others checked the instructions and made something according to one of the model plans provided.
一旦对所有用例都完成了，我们就分析代码的实现模型来检查某些类（文件）的逻辑分组是否已经在代码中存在。
Once this is done for all the use cases, we analyze the Implementation Model of the code to check if some logical grouping of the classes (files) already exists in the code.
对照给定的用户需求，检查初始维度模型的连贯性和完整性以及有效性。
Check the coherence and completeness of the initial dimensional models and validation against the given end user requirements.
在运行代码后，检查您的uml模型。
检查模型是否完整清晰，是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
xml模型内置了约束检查和模式检验功能。
Constraint checks and schema validation are built into the XML model.
嵌套的片段与模型文件不再需要检查。
Nested fragments and model files are not required to be checked out.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
我会查看这些字段，检查模型，检查它们是否拥有元数据等，并看它们是否可以属于某个级别。
I'd look at the field, check the model, check if their is metadata, etc., and see if it falls into a level.
这些结构应该检查他们是否必须在联邦模型中包含他们。
These structures should be examined to determine whether it's necessary to include them in the federated model.
最后，检查业务模型和数据流。
您要一直调整同步化规则以及转化模型，并检查未同步化的项目，直到可以输入缺陷且不产生错误的情况下进行更改为止。
Continue adjusting the synchronization rules and the transition model and checking for unsynchronized items until defects can be entered and changed without errors.
我们将其余五种错误的网关组合归纳为五种反模式，以帮助用户系统地检查并提高模型的质量。
The five erroneous combinations of the gateways are generalized into five anti-patterns that help users systematically review and improve the quality of their models.
在创建了模型后，我们要进行检查以确保我们所创建模型的准确性不会在测试集降低。
After we create the model, we check to ensure that the accuracy of the model we built doesn't decrease with the test set.
检查模型如何被那些缺乏概念的操作者在鲁莽的操作中作为接口的。
Look at how models are used as alibis by otherwise no-nonsense operators in order to engage in reckless actions.
这些检查是与整个Transformer模型相关的。
Transformer模型的一般检查。
Business Modeler的技术模型对模型执行更为深入的错误检查。
The technology modes of Business Modeler perform deeper error checking on the model.
Business Modeler的技术模型对模型执行更为深入的错误检查。
The technology modes of Business Modeler perform deeper error checking on the model.
应用推荐