用时态逻辑LTL公式表示系统性质
安全性： ¬ p
可达性： p
响应性： (p q)
（弱）公平性： p q
（强）公平性： p q
p --- p无限多次为真
p --- 从某个时刻起, p一直为真。
2022-03-08 12:24:57
701KB
1
这是一本详细地介绍temporal logic中的LTL的书，非常有参考价值！
2021-11-25 16:39:50
8.26MB
1