• 线性时序逻辑一个已经确立规则

    Linear temporal logic is an established discipline.

    youdao

  • 文中,作者设计实现一种根据程序线性时序逻辑(LTL)的性质产生测试预言的方法

    In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.

    youdao

  • 巴斯先生用来实现一转化过程工具线性时序逻辑可以表达过去未来详细约束数理逻辑系统

    The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.

    youdao

  • 介绍相关理论知识使用当前较为流行模型验证工具SPIN给出一个实例,提出了利用工具针对系统线性时序逻辑性质进行变异分析的方法。

    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 …

    youdao

  • 介绍相关理论知识使用当前较为流行模型验证工具SPIN给出一个实例,提出了利用工具针对系统线性时序逻辑性质进行变异分析的方法。

    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 …

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定