2001-4 关键词：科学发现；灵感；逻辑性；逻辑通道；模型 [gap=712]Key words:scientific discovery；inspiration；logic properties；logic passage；model
基于6个网页-相关网页
temporal logic properties 时态逻辑性质
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
Each mediation primitive has a set of properties that can be configured to perform the desired mediation logic.
每个中介基元都有一组属性，能够对其进行配置以执行所需的中介逻辑。
These controls render UI properties into outputs, and sophisticated logic ensures their presentation is at the "right" place.
这些控件将 UI 属性呈现给输出，而复杂的逻辑确保它们的表示是在“正确的”地方。
应用推荐