|
关注：1
2013-05-23 12:21
求翻译：Property is the rule that the PLC system must obey. We use LTL (Linear Time Logic) formula as the input format. We should write the counter-property because of the mechanism of SPIN. SPIN will find a situation that our property happens, that should be a counter-example.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Property is the rule that the PLC system must obey. We use LTL (Linear Time Logic) formula as the input format. We should write the counter-property because of the mechanism of SPIN. SPIN will find a situation that our property happens, that should be a counter-example.
问题补充： |
|
2013-05-23 12:21:38
正在翻译，请等待...
|
|
2013-05-23 12:23:18
物产是PLC系统必须服从的规则。我们使用LTL (线性时间逻辑)惯例作为输入格式。由于旋转，机制我们应该写反物产。旋转将发现一个情况我们的物产发生，那应该是反例。
|
|
2013-05-23 12:24:58
物产是PLC系统必须服从的规则。 我们使用LTL (线性时间逻辑) 惯例作为输入格式。 由于旋转，机制我们应该写柜台物产。 旋转将发现一个情况我们的物产发生，那应该是反例。
|
|
2013-05-23 12:26:38
属性是 PLC 系统必须遵守的规则。我们使用 LTL （线性时间逻辑） 的公式作为输入格式。我们应该写反属性由于自旋的机制。旋转会发现我们的财产发生的情况，应该是一个反例。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
