线性时态逻辑

来自术语
跳转至: 导航搜索

    一种能表达时间概念的特殊时态逻辑,它将时间轴看成一个线性的序列,常用来精确表示模型的动态语义。

英文名 linear temporal logic



链接

Wikipedia https://en.wikipedia.org/wiki/linear_temporal_logic